futex: fixup

Change-Id: I78a411de430d9e05022fa7854927b2cf4011a997