The text 34d51b48ec55, as Debian 8 (Jessie) shipped it.
wait for pending IRQ handlers (on other CPUs)
synchronize_irq(9) on Linux now
