los unicos procesadores 64bit nativos (que conosco) son los intel Itanium e Itanium2 (IA64) y los Sun Ultrasparc T1 T2
el resto de procesadores amd o intel son de 32bits compatibles con 64bits (por eso dice x86-64)
el problema con los phenom1 x4 es que consumen mucho y tienen poco oc (cualquier modelo) mejor compra un phenom2-x3 720 que le da a cualquier placa (solo 95w) rinde mas que los phenom1 x4, tiene mas opciones de oc y lo encuentras por menos de $200