sched: Add a comment to get_cpu_idle_time_us()