Enable FPU on STM32F4