Fix of 'get_cpu_idle_time_ondemand'