[coreboot] Patch merged into coreboot/master: c4077d4 Make PCIe config options depend on PCIe support

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit c4077d44297c95100cc9eb19df1ab3b16261942f
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Fri Jan 4 10:07:28 2013 -0800

    Make PCIe config options depend on PCIe support
    
    Change-Id: I42452a044dc75e35876fcea1736481e538eed663
    Signed-off-by: Stefan Reinauer <reinauer at google.com>
    Reviewed-on: http://review.coreboot.org/2100
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>

Build-Tested: build bot (Jenkins) at Fri Jan  4 19:19:34 2013, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Fri Jan  4 19:35:14 2013, giving +2
See http://review.coreboot.org/2100 for details.

-gerrit