Re: [PATCH] arm64: clean vdso files