[S390] perf_counter: fix vdso detection