better grub efi binary detection