fixes for the crosstool-ng arm-unknown-eabi-none toolchain

This toolchain can be generated using the arm-unknown-eabi target with
Crosstool-ng (http://crosstool-ng.org/)