Turbo určitě fungovalo, protože ST výsledek odpovídal taktu 4,5 GHz - nemožného bez aktivace turba. Takže aktivní bylo, jenom z nějakého důvodu nenasadilo frekvenci vyšší než 3,7-3,8 GHz. Což může být TDP limit, teplota (chlazení), chyba BIOSu, možná i normální chování. Ale turbo jako takové vypnuté nebylo.