[coreboot-gerrit] New patch to review for coreboot: 4123a62 device/pci_early.c: Mixes up variants of a typedefs to 'u32'