Well, still working on the problem of installing elementary on a Bay Trail machine (32-bit bootloader, 64-bit processor). Unfortunately 0.3.2 doesn't support 32-bit UEFI any more, so I'd like to try with 0.3.1. Is the 0.3.1 ISO still available anywhere?
(Barring that, I'll probably just use Debian with the Pantheon DE...)