Update cpufreq_lazy.c