Easily choose a kernel to kexec