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

관련 정보