En AMD64 med motsvarande konfiguration borde ge dig det du behöver.
Dels för att det är en 64bitars processor vilket snart är det som gäller. Sedan för att det är mer "krut" i den än en motsvarande 32bitars Intel/AMD.
Det finns en diskution här om skillnaden (kanske mest för server burkar men det är väl sak samma för dig misstänker jag):
AMD/Intel burk?