kickstart: Use portable format specifier for uint64_t in procinfo