The text 1fc4c0f4cc6f, as Debian 8 (Jessie) shipped it.
Requeue waiters from uaddr1 to uaddr2
futex_requeue(9) on Linux now
