multiboot support for 32bit EFI

diff --git a/multiboot-setup b/multiboot-setup
index ed101e3eda6959bdd91784361ec2d6338877322f..1595e75064daf45443217ff465af1f6408b9a46e 100755 (executable)
--- a/multiboot-setup
+++ b/multiboot-setup
@@ -42,13 +42,15 @@ function install_grub_bios {
 }
 
 function install_grub_efi {
-    sudo grub-install \
-        --target=x86_64-efi \
-        --no-nvram \
-        --removable \
-        --efi-directory="$MULTIBOOT_MNT" \
-        --boot-directory="$MULTIBOOT_MNT" \
-        "$DISK_DEVICE"
+    for arch in i386-efi x86_64-efi; do
+        sudo grub-install \
+            --target="$arch" \
+            --no-nvram \
+            --removable \
+            --efi-directory="$MULTIBOOT_MNT" \
+            --boot-directory="$MULTIBOOT_MNT" \
+            "$DISK_DEVICE"
+    done
 }
 
 function cmd_mount {