Lien en anglais.

En résumé et en français pour la version 64 bits :

• 1 - télécharger les packages :
  wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc4-saucy/linux-headers-3.11.0-031100rc4_3.11.0-031100rc4.201308041735_all.deb
  wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc4-saucy/linux-headers-3.11.0-031100rc4-generic_3.11.0-031100rc4.201308041735_amd64.deb
  wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc4-saucy/linux-image-3.11.0-031100rc4-generic_3.11.0-031100rc4.201308041735_amd64.deb
• 2 - installer le kernel :
  sudo dpkg -i *.deb