[U-Boot] PPC440GX:Ocotea board