[coreboot] New patch to review for coreboot: b7c2760 sconfig: rename pci_domain -> domain