# CONFIG_DVB_NXT6000 is not set
