oué parce que sinon ton dmesg il dit bien:

Warning only 4GB will be used. 
Use a PAE enabled kernel.
3200MB HIGHMEM available.
895MB LOWMEM available.

et il utilise que la highmem apparemment.

sinon j'allais proposer ça aussi : si 4 GB c'est pas assez bin t'actives le 64GB, ça peut pas lui faire de mal