[ Sorry if this was already mentioned ] Avoid any update tool that replaces your working kernel. Configure the tool to prevent this, or use the underlying package manager to install (rather than replace), and then add the new kernel to your existing boot loader menu.