[rdtsc]

I am pretty sure it was. Mine still has the old style IBM Thinkpad logo on the case. Documentation and driver downloads pointed to ibm.com site for a long while even after the acquisition.