RiK: Do you just install the latest kernel update? Can you use GRUB and boot with a different kernel?