UINT64_MAX and friends available in the kernel