Use correct format specifier for uint32_t

Discovered by the upcoming compiler update.

Test: m checkbuild
Change-Id: I03ed479a6a5c42d8dcc192e85d5268d1cd65cab8
1 file changed