我额外购买了 2GB 内存并将其插入我的笔记本电脑。 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 -a表明它是 x86_64 架构。
Linux 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u1 (2015-12-14) x86_64 GNU/Linux
我的问题是我应该怎么做才能解决这个问题？
编辑：我有中国笔记本电脑清华同方k46A，/var/log/kern.log的内容可以在这里找到（这里发布太长了） https://cloud.mail.ru/public/Mz21/nERCLHFFT