kernel/futex.c patch backports

CVE-2014-3153