yochanan, o link que te indiquei é uma coletânea de informações de como se chegar a tal resultado.
Talvez vc tenha executado somente o 1º comando, que real/ dá um resultado confuso
Tente, o abaixo, também postado no link:
sudo lshw -C processor
E confira a linha: width
Aqui no meu:
width: 64 bits
Há também ótimas indicações dos demais foristas, nesse tópico, como o excelente hardinfo.