KERNEL_HAS_GETTIMEOFDAY