# CONFIG_EDAC_THUNDERX is not set
