Ich hab mal in Wiki geschaut:
Intel 64 - lesen bei Unterschiede
IOMMU
Also ich bin mir da nicht so sicher das Intel schneller ist als AMD.
Zudem konnte ich noch nirgenst etwas finden ob Intel echte 64Bit verwendet oder nur "Simuliert". Des Weiteren ist ja der Vorteil von AMD, das ein Direkter Speicherzugriff Möglich ist, das hat ja Intel auch bisher gefehlt.