freertos: CM4_FPU port support now working, cleanup and autodetection pending