cpufreq_ondemand: fix after last patch