Use the right format specifiers for uint32_t.

We need to use %x instead of %lx.