[coreboot-gerrit] Patch set updated for coreboot: 5d10bd2 pci_ops.{c, h}: Don't hide pointers behind typedefs