x86じゃなくてx64じゃないか?
32bitCPUでどうやって4GB以上のメモリを使うんだ