Symbol: smbios_ipmi_info