Unbreak arm-none-eabi build again (#514)

1 file changed