Ok, so after looking at this, I think I know what I want to do (@dalto and @petsam catch me if I’m wrong, I’m exploring some interesting territory here as RHEL handles kernels differently). I think what I want to do is use kernel-install-mkinitcpio and the script from here to get a kernel image into my EFI partition. Then I can boot from it directly from UEFI if I want to. I can just skip the cleanup steps so I can maintain access to my grub bootloader with the alternate kernels, since I really only want my primary zen kernel to get this option, and I’ll go through grub for anything fancy.
I suppose I could use kernel-install-dracut but I have mkinitcpio installed now and installing dracut will remove it. I hear dracut is “better” somehow but I might not use any of the better. I’ll have to read up more on both first.