Cast a __u64 variable to uint64_t so that it can be printed without warnings