u64 should be printed with %llx instead of %x and cast to uint.
Signed-off-by: NJoão Paulo Rechi Vita <jprvita@gmail.com>
Signed-off-by: NAndy Shevchenko <andriy.shevchenko@linux.intel.com>