Symbol: ieee80211_channel_to_freq_khz