# CONFIG_VIDEO_ADV7511_CEC is not set
