pc: add cpu hotplug handler to PC_MACHINE