Ifdefs out the kernel from futex.h