[Bug 957383] request GRUB2 config option to set needed EFI loader options/flags