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