I wanted to have another try at running a Linux newer than 3.10 on the #.

I discovered that apparently I had tried back in February, because there was a newer kernel in /boot. The problem was that the machine boots using UBoot, and I dare not change the uEnv.txt to point at the new kernel as I'm not sure I'd be able to change it back if anything goes wrong. I'll have to make sure I'm able to boot from USB first.

I had the bright idea to kexec the new kernel instead, but that was not implemented in the running kernel. 😕

Found a wiki page that claimed that this UBoot would support an extlinux.conf to give you a boot menu, but that doesn't seem to be accurate.