[u02sgb]

If he has got 4Gb of RAM it's more likely he's using a 32bit OS that can't address the extra memory.