Commit 3b0e47ca006b8fe6a24ace72dd931e3649bb8e6f

Ebrahim Byagowi 2017-06-19T14:47:09

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