# CONFIG_MEDIA_TUNER_TDA18250 is not set
