[IA64-SGI] change default_sn2 to NR_CPUS==1024