New review comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/29780#discussion_r703019668 Comment: I'm a bit wary of moving the kernel around. What about copying the kernel and the initrd to the actual ESP partition. Note that grub expects the ESP to be mounted in /boot/EFI, but efibootmgr expects it to be mounted in /boot, hence they cannot easily coexist. Copying the kernel to the ESP partition (with the .efi suffix) would solve both problems.