I’ve been using INTEL 4930K for a half year now. Great workhorse 12core CPU. Extremely powerful.
Yes, hyperthreading shall be set to ON in BIOS and that is the correct setting on any modern CPU.
Several years back you needed to disable hyperthreading but that aren’t necessary to do anymore.
By the way, there are plenty of more wrong tweaks and wrong recommendations on various sites on the Internet. 
Best Regards
Freddie