lib/vdso: Add vdso_data pointer as input to __arch_get_timens_vdso_data()