[coreboot-gerrit] Change in coreboot[master]: [WIP] device/pci_ops: Store pci_devfn_t in devicetree