# CONFIG_DVB_AS102 is not set