x86: Serialize rdtsc in read_time()