[fedora-arm] PandaBoard F20 U-Boot

Hi Folks, Out of interest, do we (Peter, Dennis?) expect the current uboot-tools to be generating a U-Boot that works on Panda? Reverting to the F19 release (with both uboot.img and uboot.bin files) works. The current kernel isn't booting on this older EB3 board, but I'll look at that next. I've got a new Flyswatter so I can start poking at it again. Jon.