Add support for SMP. This uses the FDT data to find the CPUs to start
on, and psci to start them. I expect ACPI support to be added later.
This has been tested on qemu with 2 cpus as that is the current value
of MAXCPUS.
Partially based on a patch from Robin Randhawa from ARM.