ppc_64: linux-vdso64.so.1
