[PATCH v2 1/2] sched: let the scheduler see CPU idle states