[coreboot-gerrit] Patch set updated for coreboot: 5cc8364 device/pci_early.c: Mixes up variants of a typedefs to 'u32'