2019-05-31, 00:25
Thanks for the explanation Matt Devo and for saving me from wasting a further bit of time trying to boot USB that way. I did the factory reset as described, then again went through the steps outlined in the wiki for installing LE alongside ChromeOS. I now have a working LE installation on this device! Doubt I'll be using ChromeOS much but, as mentioned, it was a whole lot less fidgety to use the dual-boot option than to wipe ChromeOS and install a real Linux distro. Plus, since the device is uefi, I believe I would have been unable to use my preferred boot loader (syslinux) had I done that. If one is interested in compiling his own kernel, uefi booting is great if the command-line kernel option is enabled: no boot loader needed. But I don't have time for that right now so I'll be sticking with dual-booting.