[PATCH 04/14] vdso/helpers: Add helpers for seqlocks of single vdso_clock