My experimental u-boot tree. Use at own risk.  uboot dual kernel boot support.