Per Ubuntu 32 bit:
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-headers-3.4.1-030401_3.4.1-030401.201206041411_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-headers-3.4.1-030401-generic_3.4.1-030401.201206041411_i386.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-image-3.4.1-030401-generic_3.4.1-030401.201206041411_i386.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-image-extra-3.4.1-030401-generic_3.4.1-030401.201206041411_i386.deb
sudo dpkg -i *.deb
Per Ubuntu 64 bit:
cd
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-headers-3.4.1-030401_3.4.1-030401.201206041411_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-headers-3.4.1-030401-generic_3.4.1-030401.201206041411_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-image-3.4.1-030401-generic_3.4.1-030401.201206041411_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4.1-quantal/linux-image-extra-3.4.1-030401-generic_3.4.1-030401.201206041411_amd64.deb
sudo dpkg -i *.deb
~$ uname -r
3.4.1-030401
sudo apt-get purge linux-image-3.4.1-030401
E riavviamo.
cd /usr/src/linux-headers-3.4.1-030401-generic/arch/x86/include
sudo cp -v generated/asm/unistd* ./asm
E reinstalliamo tutti i pacchetti come da guida.