Press any key to reboot. Rebooting... does not reboot

[Graham Perrin]

<https://photos.app.goo.gl/8cVE2E1rVzsjkPCV7>

I might describe that as stable/13 (in the context of 
GhostBSD-21.09.08.iso, written to the USB flash drive from which I booted).

GhostBSD aside: has anyone else encountered the failure to reboot after 
pressing any key?

I have a vague sense that it's an old bug, although at a glance I can't 
find it in Bugzilla.