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