A inicialização no BIOS deve mostrar a quantidade real de memória. Windows, por vezes, apenas (não me lembro quais as principais versões fazer e não fazer) relata memória não reservada pelo BIOS. O BIOS geralmente atribui dinamicamente o RAM a um adaptador de vídeo integrado com base na quantidade de RAM instalada.
Peça ao seu amigo para entrar no BIOS e marcar lá. A primeira página que aparece deve mostrar a quantidade de memória instalada. Também pode haver uma opção para definir a quantidade de RAM atribuída ao adaptador de vídeo.