Intrin.h: implement __rdtsc and __halt