# CONFIG_EDAC_AMD64 is not set