# CONFIG_MEDIA_CEC_SUPPORT is not set
