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