[coreboot] Patch merged into coreboot/master: 78a1667 Create a a new configuration variable for PCI