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