http://support.microsoft.com/kb/888137
"the kernel memory manager ignores any physical address that is more than 4 GB"
To make use of 4GB RAM you need an address space that is
bigger than 4GB, because the same address space needs to hold various IO devices.