#OpenBSD в качестве BIOS’а по умолчанию для #vmm использует бинарник /etc/firmware/vmm-bios.
Судя по всему это собранный SeaBIOS:
SeaBIOS is an open source implementation of a 16bit X86 BIOS.
Со включенным внутрь sgabios модулем:
The Google Serial Graphics Adapter BIOS or SGABIOS provides a means for legacy x86 software to communicate with an attached serial console as if a video card were attached.