Symbol: dcn42_get_max_clock_khz