tutorial - How to do CPU hotplug in Linux