# CONFIG_EDAC_SUPPORT is not set
