Note that the Intel EM64T chip is equivalent to AMD64 - so the referred to node should be perfectly applicable to your situation.