# CONFIG_DVB_TUNER_DIB0070 is not set
