# CONFIG_EDAC_ECS is not set
