# CONFIG_EDAC_I7CORE is not set
