static int __init init_octeon_system_type(void)
 {
+       char const *board_type;
+
+       board_type = cvmx_board_type_to_string(octeon_bootinfo->board_type);
+       if (board_type == NULL)
+               board_type = "Unsupported Board";
+
        snprintf(octeon_system_type, sizeof(octeon_system_type), "%s (%s)",
-               cvmx_board_type_to_string(octeon_bootinfo->board_type),
-               octeon_model_get_string(read_c0_prid()));
+                board_type, octeon_model_get_string(read_c0_prid()));
 
        return 0;
 }
 
                ENUM_BRD_TYPE_CASE(CVMX_BOARD_TYPE_KONTRON_S1901)
                ENUM_BRD_TYPE_CASE(CVMX_BOARD_TYPE_CUST_PRIVATE_MAX)
        }
-       return "Unsupported Board";
+       return NULL;
 }
 
 #define ENUM_CHIP_TYPE_CASE(x) \