Fix cpufreq_ondemand.c