From 76cdd10650b84e531aa64b9f771ee498c09f213d Mon Sep 17 00:00:00 2001
From: Joerg Schirottke <master@kanotix.com>
Date: Wed, 12 Mar 2014 22:22:04 +0100
Subject: fix uefi 32 bit shell name

---
 config/binary_grub/grub.cfg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/binary_grub/grub.cfg b/config/binary_grub/grub.cfg
index e77122b..c1d55d6 100644
--- a/config/binary_grub/grub.cfg
+++ b/config/binary_grub/grub.cfg
@@ -108,9 +108,9 @@ else
           chainloader /efi/boot/shellx64.efi
     }
   fi
-  if test -f /efi/boot/shellx86.efi ; then
+  if test -f /efi/boot/shellia32.efi ; then
     menuentry 'EFI Shell x86' {
-          chainloader /efi/boot/shellx86.efi
+          chainloader /efi/boot/shellia32.efi
     }
   fi
   insmod regexp
-- 
cgit v1.0