Bug#813554: grub: grub-efi-amd64-bin should be availible on 32 bit systems

[nerdopolis]

Package: grub-efi-amd64-bin
Version: 2.02~beta2-35
Severity: wishlist
File: grub

Dear Maintainer,
grub-efi-amd64-bin should be an installable package even on 32 bit 
x86 computers, as some EFI platforms refuse to load 32 bit EFI
images (tested withTianoCore) with a 64 bit processor


-- Package-specific info:

*********************** BEGIN /proc/mounts
/dev/sr0 /cdrom iso9660 ro,noatime 0 0
/dev/loop0 /rofs squashfs ro,noatime 0 0
*********************** END /proc/mounts

*********************** BEGIN /proc/mdstat
cat: /proc/mdstat: No such file or directory
*********************** END /proc/mdstat

*********************** BEGIN /dev/disk/by-id
total 0
lrwxrwxrwx 1 root root 9 Feb  3 03:02 ata-QEMU_DVD-ROM_QM00003 -> ../../sr0
lrwxrwxrwx 1 root root 9 Feb  3 03:02 ata-QEMU_HARDDISK_QM00004 -> ../../sda
*********************** END /dev/disk/by-id

*********************** BEGIN /dev/disk/by-uuid
total 0
lrwxrwxrwx 1 root root 9 Feb  3 03:02 2016-02-03-02-29-48-00 -> ../../sr0
*********************** END /dev/disk/by-uuid

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Foreign Architectures: amd64

Kernel: Linux 4.3.0-1-686-pae (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages grub-efi-amd64-bin depends on:
ii  efibootmgr   0.12-4
ii  grub-common  2.02~beta2-35

grub-efi-amd64-bin recommends no packages.

grub-efi-amd64-bin suggests no packages.

-- no debconf information