futex fixes from Thomas Gleixner