The text a954af5cf0e9, as Debian 8 (Jessie) shipped it.
wait for pending hard IRQ handlers (on other CPUs)
synchronize_hardirq(9) on Linux now
