/baytail-bootia32.efi

64bit Linux for 32bit UEFI Bay Trail bootia32.efi.