AFAIK, um sistema operacional de 32 bits não será capaz de lidar com endereçamento de memória acima de 4 Gb.
Eu nunca tive fé verdadeira nessas coisas PAE: ele precisa de hardware específico, sistema operacional compatível, drivers compatíveis, aplicativos compatíveis ...
Se você está realmente usando um Ubuntu de 64 bits (parece ser o caso, de acordo com seu uname -a
) e ainda não tem toda a sua RAM disponível, eu recomendo strongmente que você teste cada módulo separadamente (mesmo que o Windows mostre tudo, ainda pode estar com defeito)!
Se este for um PC comum (ou seja: não é um servidor dedicado alugado), verifique o BIOS para qualquer parâmetro personalizado de RAM sofisticado (overclocking, ou algum $ a <$$> P! Mp My R4M ) característica "que pode afetar seu comportamento": Eu vi coisas tão estranhas com as chamadas placas-mãe "gamer" ...