Symbol: linuxkpi_ieee80211_channel_to_frequency