libsel4vmmplatsupport: Revised qemu vpci addresses

Revised the qemu vpci address ranges. The previous values were
found to conflict with other devices qemu manages. Moved the
addresses to be situated after the ram address range where QEMU
is less likely to allocate from.

libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h

diff --git a/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h b/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h
index c9fad3f..441a419 100644
--- a/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h
+++ b/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h
@@ -16,14 +16,14 @@
  */
 
 /* PCI host bridge configration space */
-#define PCI_CFG_REGION_ADDR 0x3E000000
+#define PCI_CFG_REGION_ADDR 0xDE000000
 /* PCI host bridge IO space */
-#define PCI_IO_REGION_ADDR 0x3D000000
+#define PCI_IO_REGION_ADDR 0xDD000000
 /* Size of PCI configuration space */
 #define PCI_CFG_REGION_SIZE 0x1000000
 /* Size of PCI IO space  */
 #define PCI_IO_REGION_SIZE 0x10000
 /* PCI memory space */
-#define PCI_MEM_REGION_ADDR 0x3F000000
+#define PCI_MEM_REGION_ADDR 0xDF000000
 /* PCI memory space size */
 #define PCI_MEM_REGION_SIZE 0x1000000