# CONFIG_RADIO_TEF6862 is not set