Done, with a couple extra data points— Linux Mint (supposedly UEFI compliant) doesn’t work either, and now that I have a spare MicroSD card, I can report that the Encore 2 doesn’t even offer to TRY to boot from it. Also the OTG adapter cable made no difference, which I was pretty sure would be the case anyway.