# CONFIG_RADIO_MIROPCM20 is not set