kernel/futex.c: Linux 3.4 compatibility fix up