recompile o kernel com atenção à opção HIGHMEM e leia a documentação
do kernel (Configure.help) sobre isto para evitar decepções.
provavelmente o kernel padrão do Debian não vem com esta opção
habilitada e somente 960MB de memória são acessados.
--
Mario O.de Menezes, Ph.D. "Many are the plans in a man's heart, but
IPEN-CNEN/SP is the Lord's purpose that prevails"
http://www.ipen.br/~mario Prov. 19.21