Eu usaria o Ubuntu 12.04 64-bit. Eles realmente resolveram a maioria (todos?) Dos problemas de 32 vs 64 bits nos últimos lançamentos. Eu tenho rodado 11.04 e 12.04 64-bit em várias de nossas máquinas no trabalho, e ainda não tive nenhum problema arquitetônico.