Futex.c error during compiling kernel

Revert all changes to futex.c, compiling works again now.