Quote
To hack around the problem, I edited include/generated/mach-types.h and swapped the entries for 2659 and 2601.
That gave me an uImage I can boot
That gave me an uImage I can boot

This resulted in a booting kernel for me, too. So the question remains: Would upgrading U-Boot solve that problem?
Yes, upgrading U-boot to the version here (http://www.plugcomputer.org/index.php/us/resources/downloads?func=select&id=15) or upgrading to a custom compiled version from the latest git repository will fix the problem. The factory U-Boot and kernel apparently use the incorrect architecture number.
Now if only I could access the sd card from u-boot.




