# CONFIG_VIDEO_ADV7842_CEC is not set
