Bug#708430: grub-efi: Still case insensitive problems or due to only update-grub is run when upgrading?

[Svante Signell]

Hello,

After as long time hesitating to upgrade grub-efi* I did that today, going from
2.00-22 to 2.03~beta3-4. That upgrade did not ask me if I wanted to install
the efi file somewhere else than the default. 

Something is maybe still wrong with the patch: grub-install-extra-
removable.patch. Looking through that patch quickly I did not see any problems
though. grub-install is never called when upgrading, only update-grub?
Especially when is the grub-install option --force-extra-removable activated?

The efi file on my box is at:
/boot/efi/EFI/Boot/bootx64.efi
where I already had a copy of the 2.00-22 version.
The upgrade did install the efi file at:
/boot/efi/EFI/debian/grubx64.efi, nowhere else.

Thanks