[coreboot-gerrit] New patch to review for coreboot: d39f241 soc: Use 'pci_devfn' where appropriate