linuxカーネルなら32bitでも4G以上のメモリを認識するけどな。