altos/stm32f4: Add -mfloat-abi=hard compile option