[SOFTWARE] Enable the use of FPU for F4