I tried to install HardenedBSD on a Corebooted machine (using SeaBIOS payload) and it seems that the installer just won’t boot at all. With the 12.x version of the installer hangs just after ‘/boot/entropy size=0x1000’, and with the 11.x version it hangs after ‘Booting...'.
I tried to disable ACPI and enable Verbose in boot options, with similar result.
Windows, Linux, and OpenBSD boot just fine on this machine.
Does someone have an idea on how to fix this ?