Search for more VDSO names

On powerpc & s390 the VDSO is called linux-vdso(32|64).so.1