system_id_string
const char *system_id_string(uchar_t system_id);
platform = system_id_string(platform_id);
PRIu16 "\n", platform, system_id_string(bcse->system_type[0]),
system_id_string(bcsh->platform_id[0]));
system_id_string(bcse->system_type[0]));