Fix arm-none-eabi build (fixes #451) (#496)

15 files changed