Thanks to a botch when playing with kernel configs, I discovered the
hard way that setting WSEMUL_DEFAULT to a name that does not name an
emulation the kernel has leads to an instant hard reset at boot -
booter loads the kernel and bam, I'm looking at the BIOS POST screen.
(This is with 5.1, but I suspect other versions will do similar
things.)
Seems to me picking almost anything else would be better - first
emulation on the list, even, would be better than an instant reset.
Thoughts? Worth a PR?