Debian x86_64 および 4GB RAM

Debian x86_64 および 4GB RAM

2GBのRAMを追加購入し、ラップトップに接続しました。 BIOSには4GBのRAMが表示されますが、Linuxには3GBしか表示されません。

出力free -m

             total       used       free     shared    buffers     cached
Mem:          3009       1158       1850         14         37        304
 -/+ buffers/cache:       816       2192
Swap:         3942          0       3942 

32ビットLinuxには4GBのRAMがないことがわかりました。しかし、Debianをダウンロードするときにamd64を選択しました。これは64ビットアーキテクチャを意味すると思いました。このコマンドはuname -ax86_64 アーキテクチャであることを示します。

Linux 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u1 (2015-12-14) x86_64 GNU/Linux

私の質問は、この問題を解決するにはどうすればよいですか?

編集:私は中国のラップトップTsinghua Tongfang k46Aを持っています。 /var/log/kern.logの内容はここにあります(ここに投稿するには長すぎます)。 https://cloud.mail.ru/public/Mz21/nERCLHFFT

関連情報