arm/realview: Fix mapping of PCI regions