The text e7c091c82dd1, as Debian 7 (Wheezy) shipped it.
wait for a bit to be cleared
wait_on_bit(9) on Linux now
