Fixup for cpufreq_interactive.c