+ocotea powerpc ppc4xx 29155e73 2015-10-27 Stefan Roese <sr@denx.de>
+taishan powerpc ppc4xx bb5553c6 2015-10-27 Stefan Roese <sr@denx.de>
+ebony powerpc ppc4xx 9d9e2f5d 2015-10-27 Stefan Roese <sr@denx.de>
+taihu powerpc ppc4xx 123b6cd7 2015-10-27 John Otken <jotken@softadvances.com>