É sabido que sistemas de 32-bits não "enxergam" 4Gb. É uma limitação da arquitetura de 32-bits.
Porém, no linux este problema é facilmente contornado instalado o Kernel de servidor na versão Desktop.
No terminal, digite:
sudo apt-get update
e sem seguida:
sudo sudo apt-get install linux-headers-server linux-image-server linux-server