# CONFIG_DVB_STB6100 is not set
