PSCI memory optimizations (v2)

This rebases #141

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.