[coreboot-gerrit] Change in coreboot[master]: usbdebug: Fix printk conversion

[Nico Huber (Code Review)]

Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/38006 )

Change subject: usbdebug: Fix printk conversion
......................................................................

Patch Set 2:
> Did the compiler warn about that?

I don't think we have format warnings enabled. If we have, a
compiler should have warned in the 64-bit case. To be honest,
I have no idea how varargs are implemented for 64-bit targets.
If it's not aligning every argument to at least 64 bits, it
would have printed the wrong numbers.
> Does this also work with 64-bit compilation?

`%lx` is safe for all our targets, 32 and 64 bits, because a
long matches the pointer size for all of them.