1. Se descarcă următoarele pachete ale kernelului dorit de aici: http://kernel.ubuntu.com/~kernel-ppa/mainline/, în funcție de sistemul de operare (32 sau 64 de biți);
- linux-headers-3.8.0-030800rc4_3.8.0-030800rc4.201301172335_all.deb
- linux-headers-3.8.0-030800rc4-generic_3.8.0-030800rc4.201301172335_amd64.deb
- linux-image-3.8.0-030800rc4-generic_3.8.0-030800rc4.201301172335_amd64.deb
- linux-image-extra-3.8.0-030800rc4-generic_3.8.0-030800rc4.201301172335_amd64.deb
2. Se deschide un terminal în folderul unde am descărcat pachetele și se dă comanda:
- sudo dpkg -i *.deb
3. Restart!
În cazul în care sistemul nu bootează sau se întîmpină anumite probleme, se bootează cu ultimul kernel stabil și se înlătură noul kernel cu comanda:
- sudo apt-get purge linux-image-3.8.0*
- sudo apt-get purge linux-headers-3.8.0*
Dă-ți cu părerea