cpufreq_interactive.c : Add definition of 'get_cpu_idle_time_interactive'