hi.
uefi is supported on both 32 and 64 bits.
it works while i use it to boot.
however, your computer is looking for bootia32.efi which seems to be uefi32bits
which is not supported on batocera (in fact, i didn't know it existed).
you should just try to download bootia32.efi from an ubuntu server and place it in efi/boot. i guess it may be enough. not sure.