I'd potentially be interested in trying something like the
1) Find out enough info from Nishanth to make a F20 respin for my
2) Hack uboot around enough to get it running on my Pandaboard ES B3
(although Linux won't boot at that stage).
This is already fixed in mainline, use a newer version of u-boot: post
v2014.01-rc1 contains this commit: