cpu: faster hotplug for the second CPU