Use local repo to install grub-efi