[coreboot] Patch merged into master: 523ae5d Use preferred style of fixed-width integer types