kernel/futex.c: Linux 3.4 compatibility fix up

Change-Id: I7e4b0550050fcca550aaa4f7cc13c2f973ed4bf4
Signed-off-by: Paul Reioux <reioux@gmail.com>