fix u-boot linking failure with an EABI toolchain