Symbol: evergreen_get_number_of_dram_channels