[coreboot-gerrit] Patch set updated for coreboot: b690c78 Add test to match struct device with simple_pcidev_t