[coreboot-gerrit] Change in ...coreboot[master]: util: Include <stdint.h> instead of <inttypes.h>