The text 8a39bf33942b, as Debian 7 (Wheezy) shipped it.
Wait for IOC to set its doorbell interrupt bit
WaitForDoorbellInt(9) on Linux now
