Added two 'rdtscp' functions that return a timestamp counter read along with the value of MSR_TSC_AUX and the socket ID and the logical cpu ID.
Added two 'rdtscp' functions that return a timestamp counter read along with the value of MSR_TSC_AUX and the socket ID and the logical cpu ID.

changhuilin/xdk,dwaddington/xdk,changhuilin/xdk,changhuilin/xdk,dwaddington/xdk,dwaddington/xdk