K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-04-24T11:06:10.363071Z
K 7
svn:log
V 237
Call the PSCI reset from cpu_reset on arm64. When rebooting from DDB the
kernel calls this directly so the event handler is not called, meaning
the computer fails to reboot.

Tested by:	cognet
MFC after:	1 week
Sponsored by:	DARPA, AFRL

END