diff --git a/board/shredos/genimage.cfg b/board/shredos/genimage.cfg
index 0dce8f782c..8242ab1bc9 100644
--- a/board/shredos/genimage.cfg
+++ b/board/shredos/genimage.cfg
@@ -6,6 +6,7 @@ image boot.vfat {
                 file boot/version.txt       { image = 'version.txt' }
                 file boot/shredos.id        { image = '/dev/null' }
                 file boot/memtest           { image = 'memtest.bin' }
+                file EFI/BOOT/bootia32.efi  { image = 'bootia32.efi' }
                 file EFI/BOOT/bootx64.efi   { image = 'bootx64.efi' }
                 file EFI/BOOT/grub.cfg      { image = 'grub.cfg' }
                 file EFI/BOOT/memtest.efi   { image = 'memtest.efi' }