K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-06-22T08:12:21.157446Z
K 7
svn:log
V 304
Fix reboot command on the Raspberry Pi series.

The Raspbery Pi computers do not properly implement PSCI. The canonical
way to reset them is to set a watchdog timer and allow it to expire.

Submitted by:	Robert Crowston <crowston_protonmail.com>
Differential Revision:	https://reviews.freebsd.org/D25268

END