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