futex: patches