[RFC 1/3] sched: fix nr_busy_cpus with coupled cpuidle