It seems strange that only 3.2GB shows up with x64. You should look at that as an issue. You should see 4GB. While running 64-bit, go ahead and remove one stick of RAM and see what happens. Then insert the other one separately (by itself) and see what happens. Then include both sticks. Check your BIOS too.