Estou um pouco confuso sobre o instalador do Debian. Eu escolhi a versão i386 do Debian 6, baixei o ISO e instalei em um Core2-Quad com 4Gb de RAM. Isso me levou a um sistema com um kernel de 64 bits e um ambiente de 32 bits (essa é a palavra correta para isso?). Por que o instalador escolheu instalar um kernel de 64 bits, mesmo que a mídia de instalação do i386 tenha sido explicitamente selecionada? Embora seja fácil alterar o kernel manualmente após a conclusão da instalação, eu realmente gostaria de saber se há uma boa razão técnica para selecionar um kernel de 64 bits neste caso.
Desde já, obrigado.