OpenBSD disables Intel's hyperthreading due to security concerns:
https://news.ycombinator.com/item?id=17350278
(FWIW, this comes from people who tend to know what they are talking about. But also people who value security over everything else)
At least there's no proof so far