kernel/futex: Fix Linux 3.4.92