Use PRIx64 macro for printing uint64_t values. This is necessary to fix the build after merging upstream changes. Change-Id: I8dffbcf8f2c46ff3dc50c1654b8b143ff023e34a