OpenBSD disables Intel's hyperthreading due to security concerns