K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-10-25T14:18:27.882045Z
K 7
svn:log
V 150
Create a new PSCI error code and use it to signal that starting the CPU is
impossible as the PSCI firmware is missing.

Sponsored by:	ABT Systmes Ltd

END