Futex.c error during compiling kernel

Revert all changes to futex.c, compiling works again now.
Conflicts:
	kernel/futex.c