PSCI memory optimizations

These patches remove or correctly dimension the PSCI arrays used to manage the system, reducing the PSCI memory usage by over 3KB on the FVP port.