# CONFIG_CEC_CORE is not set
