64비트 Linux 커널에서는 2개의 2GB 메모리만 사용 가능

방금 Debian Linux(Wheezy)를 64비트 커널 및 사용자 모드 바이너리로 업그레이드하여 PAE 없이 시스템에서 4GB 메모리를 사용하려고 했습니다.

커널과 패키지 교환이 잘 진행되는 것 같지만 예상한 결과를 얻지 못합니다.

mymachine:~# dmesg | grep Memory
[    0.000000] Memory: 2007644k/2062784k available (3494k kernel code, 452k absent,
                       54688k reserved, 3042k data, 476k init)

mymachine:~# uname -m
x86_64

원인은 무엇일까요? 메모리를 더 확장하고 싶은데, 현재 4GB도 못쓰게 된다면 좀 쓸데가 없더라구요 :)

lshw출력에는 메모리가 올바르게 설치되었음을 보여줍니다.

 *-memory
      description: System Memory
      physical id: 29
      slot: System board or motherboard
      size: 4GiB
    *-bank:0
         description: DIMM DDR Synchronous 1333 MHz (0.8 ns)
         product: PartNum0
         vendor: Manufacturer0
         physical id: 0
         serial: SerNum0
         slot: DIMM A1
         size: 2GiB
         width: 64 bits
         clock: 1333MHz (0.8ns)
    *-bank:1
         description: DIMM DDR Synchronous 1333 MHz (0.8 ns)
         product: PartNum1
         vendor: Manufacturer1
         physical id: 1
         serial: SerNum1
         slot: DIMM B1
         size: 2GiB
         width: 64 bits
         clock: 1333MHz (0.8ns)

내 BIOS에서 메모리 재매핑이 활성화되었습니다.