[PATCH] sched: CPU hotplug race vs. set_cpus_allowed()