Mmm... Pues la verdad es que con esa máquina deberían tirar bastante bien las cosas, aunque por otra parte nunca he probado una distribución para 64 bits (mi procesador no me lo permite).
En cuanto a la distribución, te recomiendo Debian. ¿Por qué? Pues sencillamente porque es la que más me gusta
, pero la elección de una distribución es algo personal, deberías probar algunas y quedarte con la que más te convenza
Saludos.