# CONFIG_MEDIA_CEC is not set