# CONFIG_MEDIA_TUNER_TUA9001 is not set
