---------------------------------------------------
Linux/x86-64 supports CPU hotplug now. For various reasons Linux wants to
---------------------------------------------------
Linux/x86-64 supports CPU hotplug now. For various reasons Linux wants to