# CONFIG_DVB_DIB7000M is not set
