Symbol: ieee80211_channel_to_khz