The text bd034b124dfa, as Debian 7 (Wheezy) shipped it.
Invoke all irq_cpu_offline functions.
irq_cpu_offline(9) on Linux now
