Verificare che si vedono solo 3 GB di RAM totali:
[root] free -m

Aggiornare la distribuzione con tutte le ultime fix disponibili:

[root]apt-get update

[root]apt-get upgrade

Installare il Linux Kernel Server:
[root] apt-get install linux-server linux-headers-server

Oppure, installare il PAE enabled kernel:

[root] apt-get install linux-generic-pae linux-headers-generic-pae linux-image-generic-pae

Riavviare il desktop:
[root]reboot

Scegliere da GRUB la versione server (dovrebbe essere il default).

Verificare che si vede tutta la RAM disponibile (4 GB o più):
[root] free -m

That’s all folks!