Support 32-bit UEFI boot
In our first iteration (#5739 (closed)), we’ve added 64-bit UEFI support only, on the ground that 32-bit UEFI machines were pretty rare (first-generation MacBooks, mostly). However, recent Bay Trail-based laptops and tablets, while 64-bit, have a 32-bit UEFI firmware for obscure reasons.
How complicated would it be to support 32-bit UEFI too?
Steve McIntyre’s blog posts on this topic should be helpful (look for “UEFI Debian installer work for Jessie, part $n”).
Feature Branch: feature/8471-32-bit-UEFI