irq_wake_thread(9) on Linux

The text 881c143676ca, as Debian 8 (Jessie) shipped it.

wake the irq thread for the action identified by dev_id

irq_wake_thread(9) on Linux now