[OT] Hyperthreading bug