[coreboot-gerrit] Change in ...coreboot[master]: src: Use standard <inttypes.h>

[Patrick Georgi (Code Review)]

Patrick Georgi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/33823 )

Change subject: src: Use standard <inttypes.h>
......................................................................

Patch Set 7: Code-Review+2

works for now (bonus points for using openbsd's header). if we ever run into weird ABIs that have different ideas of how to do this, we can revisit things