O kernel padrão do Debian não reconhece mais que 1 giga de RAM. Basta recompilar o kernel ativando a opção para reconhecer 4 gigas. -- Eduardo Costa Lisboa