[coreboot] Patch set updated for coreboot: 023d2b7 sconfig: rename pci_domain -> domain