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