Debian - Instalando kernel 32 bits via DVD em máquinas com mais de 4GB de RAM

Quando se tenta instalar o Debian em uma máquina com mais de 4GB de RAM, o DVD de instalação automaticamente instala o kernel amd64 (64 bits), mas caso seja preciso usar um kernel x86 (32 bits), basta instalar uma versão do kernel de 32 bits preparada para trabalhar com mais de 4GB de RAM, esta versão é chamada de bigmem.

Segue o procedimento.

Atualize os repositórios do Debian e dê update nos repositórios:

# apt-get update

Confirme se seu kernel em uso é de fato 64 bits:

# uname -r

Dentro do resultado, se tiver amd64, então é 64 bits.

Procure nos repositórios, seja por synaptic ou por apt-get, um kernel versão bigmem e instale, no PC testado foi:

# apt-get install linux-image-2.6.32-5-686-bigmem

Reinicie o PC e selecione o kernel bigmem no gerenciador de boot, e após iniciado confirme novamente o kernel em uso. Após confirmar, remova o kernel amd64:

# apt-get purge linux-image-2.6-amd64

Obs.: O Debian também instalou automaticamente o kernel 64 bits em uma máquina com hardware recente, digo com processador Core i3, i5, i7... Mesmo estas não tendo mais de 4GB de RAM, e na instalação do kernel 32 o procedimento é o mesmo, mas não é preciso usar a versão bigmem a não ser que pretenda dar um upgrade de memória que supere os 4GB.