[PATCH 13/16] cpufreq: interactive: Use generic get_cpu_idle_time() from cpufreq.c