futex: Misc cleanups