Se o BIOS mostrar apenas 4 GB, é um problema de hardware. Uma de suas fichas não está funcionando, ou, possivelmente, uma das suas fichas não está bem encaixada. (Ou você realmente tem 4GB.)
No Linux, o comando sudo dmidecode -t 6
(do dmidecode informará quais bancos de memória possuem um chip conectado e qual chip de tamanho. Se alguns bancos são informados vazios, mas você acha que há um chip neles, pegue o barato e insira-o de volta, certificando-se de encaixá-lo corretamente.