[coreboot-gerrit] Patch merged into coreboot/master: PCI ops: Rename pcie_xx() to pci_mmio_xx()

the following patch was just integrated into master:
commit d8d43ba6ac5d1627262f9e60f44add01658ce692
Author: Kyösti Mälkki 
Date:   Sun Oct 27 14:59:00 2013 +0200

PCI ops: Rename pcie_xx() to pci_mmio_xx()

Change-Id: I7fa65197b8165b9b0b74937f9ba455c48308da37
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: https://review.coreboot.org/17530
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

See https://review.coreboot.org/17530 for details.

-gerrit