We don't need it if ARM_EABI_TOOLCHAIN is used