Merge "Fix use of '%u' format specifier with print_uint function which takes uint64_t" into main