Re: [PATCH] selftests: vDSO: Also test counter in vdso_test_chacha