Use correct format specifier for uint32_t
am: 004dd379df

Change-Id: I81fa857a5381835011220d4e5e673b7239a71042