Как включить 32-битная загрузка UEFI на Ubuntu, установленном на флэш-накопителе?

Пока что все прочитанные мной руководства касаются либо модификации Live ISO для поддержки 32-битного UEFI (я уже сделал это), либо запуска boot-repair чтобы исправить загрузку с 64-битным UEFI.

Примечание: Мне уже удалось загрузить Live USB и установить ОС на флешку. Проблема, с которой я столкнулся сейчас, заключается в том, чтобы загрузить установленную флешку на это устройство (мини-ПК Z83-W с Intel Atom).