Revert to v2012.10 u-boot which uses a different board name