De todas formas, hasta ahora nadie ha comenzado el esfuerzo del port a ia64/AMD64.