K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-05-24T11:08:06.067816Z
K 7
svn:log
V 172
Rework the PSCI cpu on code to allow it to work before device drivers have
started. This allows this functions to be used with the regular ARM SMP
initialisation sequence.

END