[coreboot-gerrit] Patch merged into coreboot/master: aad0747 Redefine pci_bus_default_ops as function