[coreboot] Patch set updated for coreboot: 394490d Create a a new configuration variable for PCI