V MSconfigu jsou zapnuta dvě jádra (mám dojem, že to je jen pro start systému). Nastavení zde nemá vliv na provoz Windows.
Novější BIOS z historických důvodů není k dispozici.

Je to důsledek používání "starého" hardware. Ale co naděláme. Kouknu-li na patici procesoru, ve stejnoměrném lesku 1156 kontaktů jeden vypadá jinak. Možná, že nepřiléhá k CPU...
Naštěstí pokles výkonu bez HT je neznatelný. Zjistil jsem tento stav náhodou po spuštění Správce úloh.