Re: [PATCH] Change "efi" to "EFI" in grub-mkrescue for secure boot

[Vladimir 'phcoder' Serbinenko]

And main argument: I'm aware of one example when "EFI" is hard-coded in signed secure boot GRUB binary. Debian has 4 signed GRUB binaries. All they are generated here: https://sources.debian.org/src/grub2/2.12-5/debian/build-efi-images/ . One of them, grubx64.efi is created using "grub-mkimage ... -p /EFI/debian".

Why do they use /EFI if it doesn't even work? The question is who needs to change this.