I have spent 3 days trying to install 64bit Linux on a mini PC which has 32bit UEFI. The funny thing is that this device is so slow probably I will not use it, but I still want to make it work.
It is a ViewSonic, but I don't know the model. I have it's PCB and power supply only. CPU is Intel Atom x5-Z8350. Btw I have already installed Linux on it, was a really good feeling, now it is collecting dust on the shelf :D