fixup ARM EABI on GCC 4.1.2