Cleaning up Linux's CPU hotplug for real time and energy management. - Thomas Gleixner; Paul E. McKenney; Vincent Guittot (SIGBED Rev., 2012)