Hello. I used apt-get to upgrade to the latest stable kernel. In 8.0, I would always use up2date & it would also configure grub accordingly. Alas apt-get did not do this. How in 9.0 do I change the default kernel that boots (I use KDE & in the KDE Control Panel, the kernel tab has been removed as far as I can tell since 8.0)
