# CONFIG_RAS_CEC is not set
