Re: [OS-BUILD PATCH] Turn off vdso_install for ppc