# CONFIG_DVB_DIB3000MC is not set
