# CONFIG_EDAC_I82975X is not set
