olha meu ingles não é nada bom, mas pelo que eu puder ver lá, nem a bios reconhecia a memória total dele, e elel usou o bigmem, que no caso do amd64 não seria necessário, aqui minha bibos reconece meus 4 Gb, desconta os 256 Mb do vídeo on, e mostra a memória disonível, dá um diferença de 124 Mb a menos e não consigo ver o por que disto.