A mi se me ocurre otra manera, porque no te descargas un a
Live CD para 64 bits y la pruebas, si te funciona, es que tienes un 64 bits.
Yo también he chafardeado mi /proc/cpuinfo y he visto esto:
model name : Intel(R) Pentium(R) 4 CPU 3.20GHz
stepping : 3
cpu MHz : 2800.000
cache size : 2048 KB
Um si la CPU es de 3.2 GHz, como que el reloj va 2.8 GHz?
Me da que voy a tener mal configurada la Placa base des de que lo compré
Salu2