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