Change the futex implementation to reuse wake_one().