Use 64-bit compatible rdtsc for Linux. Remove some more intrin_x86 functions.