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