Ian Jackson writes ("Bug#792547: grub-installer: add option to _not_ install to UEFI boot order"):
> I see that Ian C updated this patch (in July 2015) and reported
> testing it successfully. Is it now OK ?
every Debian release I update our workaround to apply to the current
release. FTR, I am just updating our workaround to apply to buster.
(I see the grub2 package is RFH.)
Ian.