[at91] fix u-boot linking failure with an EABI toolchain