[coreboot-gerrit] Patch merged into coreboot/master: c73acdb Add test to match struct device with pci_devfn_t