garuda’s kernel management tool makes it easy to select the kernel to boot, something I wish I had a simple software to do.