Use __builtin_ia32_rdtsc instead of inline assembler

Trivial change which is clearer and may improve compiled code.  (It removes a trivial mov  eax eax instruction).