# CONFIG_EDAC_SKX is not set
