Install Grub Twice in EFI?

[Jamie Kitson]

Hi,

I would like to use my machine's UEFI boot menu over Grub's to boot
different kernels etc. so that I can put a 0 second time out on Grub.
Is there a more efficient way to do this than install grub multiple
times in /boot/efi/efi?

If not, and this isn't a terrible idea, should the grub-install script
be altered so that grubdir is configurable and not hard-coded to
bootdir/@grubdirname@

All suggestions appreciated.

Thanks, Jamie