O problema foi resolvido graças aos comentários para a pergunta ... O VirtualBox está funcionando de novo ... desinstalando e reinstalando as coisas na seqüência correta .. (Eu "respondi" dessa forma, já que não havia outra resposta específica ...
Eu instalei o kernel 2.6.32-32-generic-pae sobre o meu kernel 2.6.32-32-generic existente.
Isso resolveu o problema que tive com o sistema não mostrar a quantidade total de RAM, mas teve um efeito colateral. Não consigo iniciar minhas VMs do VirtualBox. Eu recebo esta mensagem:
Driver de kernel não instalado (rc = -1908)
Por favor instale o pacote virtualbox-ose-dkms e execute 'modprobe vboxdrv' como root
virtualbox-ose-dkms já estava instalado e, quando executei sudo modprobe vboxdrv , recebi outra mensagem de erro:
FATAL: módulo vboxdrv não encontrado.
Eu removi virtualbox-ose-dkms (remoção completa) e, em seguida, reinstalei-o, mas ainda assim recebi o mesmo erro.
Eu então repeti a reinstalação completa, mas desta vez com o kernel anterior não-pae . Ele funciona , mas falha quando eu reinicio o kernel pae .
Em seguida, desinstalei e reinstalei o VirtualBox no sistema pae , mas ele deu o mesmo erro.
O que posso fazer para colocar o VirtualBox em funcionamento com o kernel pae ?
O problema foi resolvido graças aos comentários para a pergunta ... O VirtualBox está funcionando de novo ... desinstalando e reinstalando as coisas na seqüência correta .. (Eu "respondi" dessa forma, já que não havia outra resposta específica ...