use appropriate printf code for uint64_t variable (fixes warnings on 32bit systems)

Change-Id: I9855e5c2ebc0370c2063550aa11b9ed882fec3ce