Bug#792547: grub-installer: add option to _not_ install to UEFI boot order

[Ian Jackson]

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.