Hi, I need to install a debug-kernel. I didn’t install the debug-kernel when I installed the system (11.2), but I downloaded the archive. I can unpack it - but how do I then select the kernel at boot?