Symbol: ieee80211_freq_khz_to_channel