octeon_model_get_string
board_type, octeon_model_get_string(read_c0_prid()));
const char *__init octeon_model_get_string(uint32_t chip_id);