diff --git a/scripts/build/binary_grub-efi b/scripts/build/binary_grub-efi index 343288e3d..0ccc17891 100755 --- a/scripts/build/binary_grub-efi +++ b/scripts/build/binary_grub-efi @@ -225,10 +225,7 @@ PATH="${PATH}:\${LIVE_BUILD_PATH}" # Make sure grub-cpmodules is used as if it w case "${LB_ARCHITECTURE}" in amd64) gen_efi_boot_img "x86_64-efi" "x64" "debian-live/amd64" - if [ -r ${_CHROOT_DIR}/usr/lib/grub/\$platform-signed/gcd\$efi_name.efi.signed ]; then - # When a signed grub is available, add 32-bit UEFI support too - gen_efi_boot_img "i386-efi" "ia32" "debian-live/i386" - fi + gen_efi_boot_img "i386-efi" "ia32" "debian-live/i386" ;; i386) gen_efi_boot_img "i386-efi" "ia32" "debian-live/i386"