x86/tsc: Use seqcount_latch_t