Add FPU
Init FPU during system startup
Switch on the FPU flag
Update config file for the fx15 dev board