Symbol: board_dimm_info_t