[coreboot-gerrit] New patch to review for coreboot: c80879f PCI: Guard pci.h with CONFIG_PCI