cpufreq_interactive.h from Semaphore Kernel...