No tiene que ver el sistema operativo en sí, sino si éste es de 32 o 64 bits. Si vas a usar ediciones de 32 bits (que es una tontería teniendo un micro de 64) puedes usar 1+1+512+512. O incluso 4 gigas directamente aunque te reconozca 3,2 GB, porque esos 3,2 siguen yendo en Dual Channel, lo único que el sista operativo no puede usar más porque se queda sin direcciones de memoria.
