Je sais pas pour les mise à jour du noyau, mais je continue de recevoir des mise à jour de la distribution (Linux Mint ) .
Installé de cette façon :
cd /tmp
wget http://goo.gl/g1XHX -O kernel-3.9.4
chmod +x kernel-3.9.4
sudo sh kernel-3.9.4
sudo reboot