Symbol: linuxkpi_ieee80211_get_channel