I was wondering if would be possible to run a 32bit linux system.

Sorry Sir, the UEFI only supports 64 bit linux system.

Actually yes, it is possible, it is a little tricky, but if you have no other option you can do it. You have to have really clear what you are doing and why.
I have my jaguardboard running with this operating system for my son: PícarOS
You can download from here.

It has only an old 32bit kernel (3.10) and booting in UEFI mode is impossible from it. In sum up I followed this steps to boot it:

1) I installed PicarOS in a pendrive with MBR + BIOS mode. (menu -> Minino Utilities -> Minino transfer)
2) Once installed I can boot from pendrive. Then I installed a 64bit kernel on it (4.3 version from SID) and gdisk.
3) I boot from a Debian 64bit with UEFI mode activated and converted the MBR to GPT with gdisk utilitiy and resize the partition 512Mb to do a FAT partition for EFI. (important to activate the boot flag to the FAT partition)
4) Then
mount the PicarOS partition in /mnt
mount proc sys dev run in /mnt
mount the EFI partition in /mnt/boot/efi
chroot and install the bootloader with grub-install --efi-directory=/boot/efi
chroot and do a update-grub
Umount everything
5) Reboot
6) You can boot from pendrive in uefi mode and you will get the grub menu
7) The grub menu include two kernels, the old 32bit 3.10 kernel and the new 64bit 4.3 kernel. I can boot from both. But the 4.3 is better because I get a better screen resolution.

if you need more precise instructions, let me know.

Hi Sir,
Very thanks for your sharing! If possible, can you share the detailed steps about how to make it work from fresh start? By video or text? That will be great useful for new members who is not a expert on linux but want to run 32 bit linux system.

Thanks again for your effort!