Installing a new kernel or force reconfiguring an already installed kernel should create or update a boot entry that actually boots that kernel.
Actual behavior
The generated boot entry for booting EFISTUB kernel gets rejected by my UEFI firmware because the binary file name (for example vmlinuz-5.1.10_1 lacks an .efi extension.
Steps to reproduce the behavior
Boot the system in UEFI mode on machine with a 'strict' (standard compliant) UEFI firmware.
Install efibootmgr package
Make sure that /etc/default/efibootmgr-kernel-hook contains uncommented line MODIFY_EFI_ENTRIES=1 and appropriate OPTIONS="..." value for that kernel
Install or force reconfigure a kernel
(optional) Reconfigure boot order using efibootmgr -o ...
System
Void 5.1.10_1 x86_64 GenuineIntel uptodate rrrrmdFFFFFFFFF
efibootmgr-17_2
Expected behavior
Installing a new kernel or force reconfiguring an already installed kernel should create or update a boot entry that actually boots that kernel.
Actual behavior
The generated boot entry for booting EFISTUB kernel gets rejected by my UEFI firmware because the binary file name (for example
vmlinuz-5.1.10_1
lacks an.efi
extension.Steps to reproduce the behavior
efibootmgr
package/etc/default/efibootmgr-kernel-hook
contains uncommented lineMODIFY_EFI_ENTRIES=1
and appropriateOPTIONS="..."
value for that kernelefibootmgr -o ...