The 32 bit UEFI actually could be used to boot a 64 bit OS image. Well, you could make it work. Source: https://liliputing.com/2015/07/install-ubuntu-14-04-lts

The 32 bit UEFI actually could be used to boot a 64 bit OS image. Well, you could make it work. Source: https://liliputing.com/2015/07/install-ubuntu-14-04-lts-on-the-2gb-intel-compute-stick.html https://liliputing.com/2015/07/install-ubuntu-14-04-lts-on-t... A friend of mine had one of those laptops and I wanted to install Linux on it. It took me a few weeks for other reasons (those M.2 drives were the worst), but thanks to the work of Ian Morrison, it was possible.