x86: vdso: Use seqcount instead of seqlock