[coreboot-gerrit] Patch merged into coreboot/master: c2956e7 device/pci_early.c: Mixes up variants of a typedefs to 'u32'