This includes the following changes:
- Disable debugging in SeaBIOS except of a single version line:
SeaBIOS (version 1.11.0p0-OpenBSD-vmm)
- Turn off all debug messages of the SGABIOS payload
(1.11.0p0-OpenBSD-vmm is all we need to know, it is documented in the
firmware package that it is included in vmm-firmware).
- Enable SMBIOS: this now gives a BIOS version string in the dmesg and
hw.vendor + hw.product sysctl values (you can also query the SMBIOS
with the dmidecode package). Please note that SeaBIOS sets all SMBIOS
strings to "Bochs Bochs" by default, we include patch-src_fw_smbios_c
to print OpenBSD, VMM, SeaBIOS, and 1.11.0p0-OpenBSD-vmm as the BIOS
version accordingly.
OK sthen@ mlarkin@
d8061ce496