Tout est dans le titre

Et pour Debian ? Ici !
wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc6-saucy/linux-headers-3.11.0-031100rc6_3.11.0-031100rc6.201308181835_all.deb
wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc6-saucy/linux-headers-3.11.0-031100rc6-generic_3.11.0-031100rc6.201308181835_amd64.deb
wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc6-saucy/linux-image-3.11.0-031100rc6-generic_3.11.0-031100rc6.201308181835_amd64.deb
sudo dpkg -i linux-headers linux-image