Honestly, as far as I know, I haven't worked with machine with HyperThreading enabled, so let's see if someone else has an opinion. But, I would say that, since it is a feature of the processor, it's not a "problem". Also, I would guess that, since Windows is reporting two processors running in that computer, showing two Task Manager lists, etc., it's clearly working in HyperThreading mode and you might experience poorer performance by disabling it.
If you want, you could look in your BIOS to see whether it has an option to disable it, and, if so, disable it as a test to see how it runs. But, I think I'd leave it as is unless I learned of a specific reason to justify disabling it. Disabling it without specific cause just doesn't make sense, IMO.