[chibios] Fix FPU calculations for STM32F4xx
* Use softfp ABI instead of hard ABI