Oui, je vais peut être poster un topic à ce sujet, sur la p5b, c'est la galère pour installer debian etch 64 sur un disque PATA au boot, il faut ruser et installer le nouveau kernel pour que le controleur soit reconnu, passer l'option all_generic_ide au kernel, c'est la misère ! Finalement j'ai fini par acheter des adaptateurs PATA -> SATA car booter sur le PATA est mission impossible sur le controleur JMicron. En plus peu de livecd sont en 64 bits donc pour régénérer grub c'était bien galère (suis passé par le liveCD gentoo minimal car knoppix est en 32 bits).
Au final ca marche bien même si le 64 bits est source de pas mal de galères "courantes" genre plugins video ou flash. Mais c'est une brute de puissance. Les proces sont bien reconnus et le système ultra réactif. On peut utiliser un kernel amd64 ou emt64 a peu près équivalents.