ARM Integrator: static memory mapping of PCI register configuration space

The statically allocated address range for the internal registers of the V3 PCI-bridge chip has been choosen too big. There are only 64k of registers space in this chip.

Additionally, some of the entries in platform.h describing the PCI memory mapping do not match the comments in platform specific mm.c file.