efi_get_smbios_string
version = efi_get_smbios_string(record, processor_version);
product = efi_get_smbios_string(record, product_name);