Where installers for FreeBSD 12.2 and 13.0-CURRENT fail to boot, the installer for OmniOS community edition succeeds. Photographs and other details at <https://old.reddit.com/r/freebsd/comments/ir90ra/hp_probook_440_g7/gejo49g/>; "I'm advised that it's symptomatic of the kernel not loading.".