The x13s only defines the (legacy) 32-bit SMBIOS entry point. Add code to
authorkettenis <kettenis@openbsd.org>
Sat, 29 Oct 2022 20:35:50 +0000 (20:35 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 29 Oct 2022 20:35:50 +0000 (20:35 +0000)
commitcad45e2ea1017ceb0aa58ce568e740475c2b24ed
treee3fb37b5a35841319a206605f1eaca68b0544ca6
parent5c33ecfc8b074dc221a195406b4caaf4aa7d7fef
The x13s only defines the (legacy) 32-bit SMBIOS entry point.  Add code to
handle that such that we can see the firmware version in dmesg.

ok deraadt@, phessler@
sys/arch/arm64/dev/efi_machdep.c
sys/arch/arm64/dev/smbios.c