Add some documentation to FreeRTOS FPU example