Fix system crash when it is built without FPU support.