Cast a uint64_t to unsigned long long for a printk.
Signed-off-by: NSteven Whitehouse <swhiteho@redhat.com>