# CONFIG_EDAC_X38 is not set
