Re: [mock PATCH] drop the devel link for ppc