[coreboot] Patch merged into coreboot/master: 4aff445 sconfig: rename pci_domain -> domain