Search for more VDSO names

On powerpc & s390 the VDSO is called linux-vdso(32|64).so.1
Merge pull request #1 from mpe/master

Search for more VDSO names