# CONFIG_EDAC_XGENE is not set
