Hi All, I have a bunch of fairly high-end servers, all with dual dual-core Xeon processors. Xeon's are supposed to be 64-bit processors, but they are all running i386 kernels. I want to download the appropriate Debian distribution for these boxes to enable 64-bit processing. Do I need the ia64, the amd64, or something else? TIA, Kenny