32-bit BIOS with a 64-bit CPU
Explanation for setup
Between 2014 and 2016, some machines shipped with 32-bit BIOS but had a 64-bit CPU (notably the Dell Venue 11). This setup requires a special tweak to the USB booting tool. Please contact us if you encounter a computer that will not boot using the standard USB booting method.