64ビットLinuxカーネルでは、2つの2 GBメモリしか利用できません

Debian Linux（Wheezy）を64ビットカーネルとユーザーモードのバイナリにアップグレードし、PAEなしでシステムで4 GBのメモリを使用しようとしました。

カーネルとパッケージの交換はうまくいくようですが、期待した結果は得られません。

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でメモリの再マッピングが有効になっています。