(I know the last post on this thread is over 2 months old but no one answered the last question posted.)

You will most likely find the enabling or disabling of hyperthreading to be in your server's BIOS.

LC