drivers/firmware/dmi_scan.c: fetch dmi version from SMBIOS if it exists