/* * Convert MHz frequency to IEEE channel number. */