Fix build of cpufreq_interactive
	modified:   drivers/cpufreq/cpufreq_interactive.c