Could I point out that IA64 is being used incorrectly.
IA64 is used to refer to Itanium architecture. I believe, looking at the model numbers of the processors, that x86-64 should be used.
