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.
