i have a p4-2.40b (c1 stepping). wcpuid says it has HTT... buuut how do i know its really there and working??