K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-06-10T19:42:44.069352Z
K 7
svn:log
V 127
Remove the psci option from arm64. It is now a standard option as it is
required to boot correctly.

Sponsored by:	DARPA, AFRL

END