sched: cpu hotplug fix