Which platform should we use for a x86-64 build under Linux, on an Intel Xenon 64-bit CPU? Cheers, Alexy