From 12f948850b3e1fb968241764d78777432d899816 Mon Sep 17 00:00:00 2001
From: Will Woods <wwoods@redhat.com>
Date: Tue, 2 Aug 2011 12:46:01 -0400
Subject: [PATCH] EFI boot image should be named BOOTXXX.efi

---
 share/efi.tmpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/efi.tmpl b/share/efi.tmpl
index a958b609..cea87ed9 100644
--- a/share/efi.tmpl
+++ b/share/efi.tmpl
@@ -2,7 +2,7 @@
 <% EFIBOOTDIR="EFI/BOOT" %>
 
 mkdir ${EFIBOOTDIR}
-install boot/efi/EFI/redhat/grub.efi ${EFIBOOTDIR}/BOOT${efiarch}.bin
+install boot/efi/EFI/redhat/grub.efi ${EFIBOOTDIR}/BOOT${efiarch}.efi
 install boot/grub/splash.xpm.gz ${EFIBOOTDIR}
 
 ## actually make the EFI images