Je viens d'installer Ubuntu 12.04.2 64 bits sur mon PC de bureau et je vois que le noyau dans le Moniteur système est en version 3.5.0-23 mais sur mon ordinateur portable avec Ubuntu 12.04.2, le noyau est en version 3.2.0-38.
J'ai déjà essayé d'exécuter la commande sudo apt-get upgrade && sudo apt-get dist-upgrade
sur mon ordinateur portable mais cela ne met pas à jour le noyau.
Comment puis-je mettre à jour le noyau de mon ordinateur portable ?