Is there a 32-bit ubuntu or debian version for the up board?

I've updated the firmware to 09/10/2016 and switched to 32bit bios. Then I tried to install Debian_8.6.0_i386. The setup does not show the emmc as an installation target. Is there a 32-bit debian or ubuntu version for the up board?
Comments
And, do we have to have 64 BIOS for 64bit OS and 32 bit BIOS for 32 bit OS only? Can't we install 32 bit OS on 64 bit BIOS?