[coreboot-gerrit] Patch set updated for coreboot: 5830fd0 Add pci_devfn_t and use with __SIMPLE_DEVICE__