Me autocontesto: Parece ser que efectivamente, el athlon xp es de la familia k7. Y un tutorial en castellano sobre el tema: http://foros.maximopc.org/showthread.php?t=4519