OpenBSD: adds option to disable Hyper-Threading

"Since many modern machines no longer provide the ability to disable Hyper-threading in the BIOS setup, provide a way to disable the use of additional processor threads in our scheduler."https://t.co/Fin1GAYNI7

— Alexandre Dulaunoy @adulau@infosec.exchange (@adulau) June 19, 2018