# CONFIG_DVB_TUNER_DIB0090 is not set
