Do yourself a favour, throw away the 32bit efi crap devices. I had a couple of these devices, even a very expensive industrial grade device. If it doesnt work it doesnt work. 32bit efi is just a nasty way of crippling an otherwise perfectly fine 64bit cpu. A way for the industry to limit use of potentional usefull hardware to next to nothing.
Especially the intel cherry trail devices often come with 32bit efi, those cheap little plastic chinese boxes with sub par cooling. My humble opinion: save a little more and get yourself something better, like intel n3700 or j5005 devices, from a well known brand (with decent cooling).