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