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

[Ian Jackson]

I see that Ian C updated this patch (in July 2015) and reported
testing it successfully.  Is it now OK ?

Thanks,
Ian.