x86: move hotplug related extern definitions to smp.h