I googled all night and still don’t have a solution. When I have multiple kernels installed and the boot-loader is Grub, all I have to do is go to advance options at the boot screen and choose my kernel.
Now I’m on Systemd-boot and I see no way to switch kernels upon boot.
I want to install the Grsec kernel, but want the ability to switch back to the previous kernel if something goes wrong.