How to install onto 32-bit EFI?

Filed at bugzilla.redhat.com/show_bug.cgi?id=2366967, if of interest.