Added the rdtscp instruction to the x86 instruction