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

the following patch was just integrated into master:
commit c80879f36e0d0b7295510edbaad26d9807ce5007
Author: Kyösti Mälkki 
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

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

-gerrit