Tudo,
o problema foi resolvido. Para mim, trabalhou para redefinir bios (através do atalho da bateria interna) e para garantir que os 2 Dimms são realmente compatíveis (leia completamente idêntico no nível do chip, compare os números!). Depois de substituir dois não-idênticos (a loja era cooperativa), o sistema funciona com 4 GB (3,5 GB utilizáveis para um sistema de 32 bits). Obrigado a todos.
Hub