making use of new 80211j version of ieee_channel_to_frequency