Adding a UEFI boot disk to Grub