Mesmo o hardware sendo 64 bits existe a possibilidade de ter sido instalado um sistema operacional de 32 bits, para confirmar isso acredito que um simples “uname -a” já seja o bastante.
Caso seja esse o caso, creio que apenas reinstalando o sistema é possível migrar para 64 bits.