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