# CONFIG_EDAC is not set
