The text 084c69c770d9, as Debian 8 (Jessie) shipped it.
Invoke all irq_cpu_offline functions.
irq_cpu_offline(9) on Linux now
