# CONFIG_MEDIA_TUNER_M88RS6000T is not set
