[coreboot-gerrit] Patch merged into coreboot/master: c80879f PCI: Guard pci.h with CONFIG_PCI

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit c80879f36e0d0b7295510edbaad26d9807ce5007
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Wed Feb 12 14:18:50 2014 +0200

    PCI: Guard pci.h with CONFIG_PCI
    
    Adding PCI functions for romstage in pci.h breaks ARMv7 build without
    this. Also fix two related includes to use pci_def.h instead.
    
    Change-Id: I5291eaf6ddf5a584f50af29cf791d2ca4d9caa71
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>


See http://review.coreboot.org/5199 for details.

-gerrit