New comment by xtraeme on void-packages repository https://github.com/void-linux/void-packages/issues/12499#issuecomment-502480603 Comment: I really think that the efibootmgr kernel hook should create a symlink with the .efi extension, this way the linux pkgs don't need to be modified.