Update rdtscll.h