[RFC 0/3] sched: fix nr_busy_cpus