You should not have to explicitly disable the FPU as it is powered down in sleep anyway. Have you measured any increase in idle current after you enabled FPU support?
You should not have to explicitly disable the FPU as it is powered down in sleep anyway. Have you measured any increase in idle current after you enabled FPU support?