[PATCH Resend 0/3] sched: fix nr_busy_cpus