sched: fix hotplug cpus on ia64