Normally Linux distribution ISOs work perfectly when written to a USB for booting as a ‘Live USB’ allowing both usage and installation of the distro. Unfortunately with the introduction of Intel Atom based mini PCs the issue of requiring a 32-bit bootloader to boot a 64-bit OS arose