x86: fixes read_tsc_serialized()