[IA64] Increase max NR_CPUS on IA64 from 512 to 1024