Symbol: linuxkpi_ieee80211_frequency_to_channel