Ok Old-polack, you lost me . WAAAAYYYYYY LOST me. I'm just using the one that I downloaded the other day. I've made 4 different live discs from my 32 bit install I'm on now. So what ever it might be that is supplied from the main page link is what I'm using. Not anywhere near the use different kernel level yet. I'm pretty much a recent, jump in with both feet and don't bother looking, convert.
Open a terminal and enter the command uname -r
to show what kernel you are using now.
In Synaptic in the Search box enter the keyword kernel
, then click the Search button
Scroll down untill you see these entries;
Choose a kernel build that does not have a green box in front of it, that is of a higher number than the one you have. Click the box and choose Mark for Installation
, then click the Apply button
. When the installation is done, reboot. The new kernel will be the new default kernel, and will boot using the same boot menu entry you have already been using. The boot process will take a bit longer than usual, because the video drivers and such need to be recompiled to work with the new kernel. This only happens with the first boot to a new kernel. All subsequent reboots will be as they always have been, but maybe faster.