Is it possible to not install grubx64.efi in ESP when using shim?
Perhaps this /File(\EFI\DEBIAN\GRUBX64.EFI). BO is not installed by
Debian, but the firmware of my computer found GRUBX64.EFI in the EFI
system partition and added it to the boot entry on its own.
