[PATCH 08/10] selftests: vDSO: vdso_test_correctness: Use types from vdso_types.h