Re: [jhc] Patch: change RTS to work with ARM EABI