# CONFIG_MEDIA_CONTROLLER_DVB is not set