Fix cpufreq.h