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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4aff4458f58398f54c248604694c7005294c1747
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Tue Feb 12 14:17:15 2013 -0800

    sconfig: rename pci_domain -> domain
    
    The name pci_domain was a bit misleading, since the construct is only
    PCI specific in a particular (northbridge/cpu) implementation, but not
    by concept. As implementations and hardware change, be more generic
    about our naming. This will allow us to support non-PCI systems without
    adding new keywords.
    
    Change-Id: Ide885a1d5e15d37560c79b936a39252150560e85
    Signed-off-by: Stefan Reinauer <reinauer at google.com>
    Reviewed-on: http://review.coreboot.org/2376
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>

Build-Tested: build bot (Jenkins) at Thu Feb 14 01:15:33 2013, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Thu Feb 14 02:00:04 2013, giving +2
See http://review.coreboot.org/2376 for details.

-gerrit