avdheiden - run 'sudo apt-get update; sudo apt-get -u dist-upgrade'. That should install the latest kernel from either the archive or the kernel-pre-proposed PPA.
avdheiden - run 'sudo apt-get update; sudo apt-get -u dist-upgrade'. That should install the latest kernel from either the archive or the kernel-pre-proposed PPA.