jtag: use proper format with uint32_t