Re: [PATCH] support ppc64le in mash