Minor adjustments to Interactive governor get_cpu_idle_time()