[coreboot] New patch to review for coreboot: 4bc29b5 Make PCIe config options depend on PCIe support