2015.06.25 01:17:06 (613848351239319552) from Daniel J. Bernstein:
Wasn't too hard to tweak a Tails USB stick for 32-bit UEFI on a Bay Trail device. Should I blog the details, or did someone do this already?