[coreboot-gerrit] Patch merged into coreboot/master: 016732f pci_ops.{c, h}: Don't hide pointers behind typedefs