[coreboot-gerrit] Patch set updated for coreboot: dd7b3a9 Redefine pci_bus_default_ops as function