kern_reboot(9) on FreeBSD

The text cfcad4551f55, as FreeBSD 13.5-RELEASE, FreeBSD 13.4-RELEASE, FreeBSD 13.3-RELEASE shipped it.

halt or reboot the system

kern_reboot(9) on FreeBSD now