Symbol: append_dmi_string