I bought a brand-new ASUS Transformer Book in March 2015 with a Bay Trail processor, which uses a 32-bit UEFI for booting the operating system. This...