# CONFIG_DVB_STV0288 is not set
