Как запилить 32 бит уефи загрузчик?

А вот так не пробовал? Только на счет обновлений ядра хз.

Если твоя железка умеет в x86 EFI, то можешь попробовать. Но без плясок не получится, если дистр искаропки не умеет ставиться в EFI. А если умеет, то достаточно загрузить флэшку/диск в EFI-режиме, и просто установить. Об этом тоже написано в статье по ссылке у меня в профиле.

Обычно 32-разрядные дистры не поддерживают установку на UEFI ia32, и не содержат grub-efi-ia32 в своем репозитории. Debian 8 i386 поддерживает и содержит.

efi grub бывает 32bit передаёшь управление ему, а он дальше сам разрулит

ах да 32 bit grub может грузить и 32 и 64 бита, вообще это же просто программа, а потом ядро начинает выполняться.