Hi there is no support for EFI using 32 bits systems.
There were some attempts to use it from projects like Pacbang and others (i don’t remember the names right now)
Not sure if any of them fully accomplished this.
If you’re willing to dig this on the internet try looking for archiso projects that used to build 32 and 64 bits in the same iso (dual_boot, dual_iso).
Keep in mind this is all old, from the time when archlinux still had 32 bits support. Look for github pages, i’m sure some of them are still there, just repeating; abandoned.