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

the following patch was just integrated into master:
commit c4077d44297c95100cc9eb19df1ab3b16261942f
Author: Stefan Reinauer 
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 
    Reviewed-on: http://review.coreboot.org/2100
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

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

-gerrit