[coreboot-gerrit] Patch set updated for coreboot: c0bf642 soc: Use 'pci_devfn' where appropriate