[coreboot-gerrit] Patch set updated for coreboot: 961cdaa Add test to match struct device with pci_devfn_t