fra le migliori distro a 64 bit che io sappia c'è la gentoo. Cmq ancora le distro a 64 bit non garantiscono una grande affidabilità e la maggior parte dei programmi non è stata ancora ottimizzata per i comandi estesi. Ti consiglio, visto che hai due so, di metterne uno a 32 ed uno a 64 e utilizzare quello a 64 come banco di prova.. potrai vedere di persona se esistono diff prestazionali e in che termini