From your 2nd link...
Did you try this? How about BIOS update?
I haven't tried that yet. However, I have some fundamental questions. I originally posted because it wasn't clear whether windows 7 x64 was recognizing all 4GB of memory (it being well known that 32 bit operating systems can't recognize 4GB of memory). The full recognition of 4GB of memory was a big reason I went with x64.
It sounds like you see an issue, but I found a nice summary of the memory allocation (see the link below) in the resource monitor/manager in the task manager.
If I understand this summary correctly, it is showing all 4GB of memory (see indication of 4095mb total available) being recognized by windows and 739mb in use/252mb modified. It shows 3104mb available (which I think comes from 739mb in use and the 252 mb modified being subtracted from the total available 4095mb). The "in use" and modified" allocations appear to be used memory allocations. So my questions are:
1) Isn't the 739mb in use representative of the processes that are shown? Isn't that normal for the running processes to be using some of the available memory?
2) What is "modified"? Does 252mb make sense for processes that are "modified"?
3) Is there a problem here or not, and if so, what is it? It seems like there are no hardware reservations which is what most people seem to be having problems with (i.e., video memory sharing) I don't know what "modified" processes are or why they are using memory, but the 739mb of processes seems normal (err...or not??)
And it seems like the whole 4GB of memory is recognized by and available to windows? Or not?