# CONFIG_EDAC_SYNOPSYS is not set