Asi je to offtopic poznámka, omlouvám se. Poctivě jsem se díval po svých linuxových serverech, ale mám všude HT vypnutý. V zásadě HT nepřináší mnoho výkonu navíc, a zejména u serverů naopak výkon ubírá právě kvůli prakticky nemožně spravovatelné afinitě.
Takže ačkoliv Vám neumím dát odpověď na otázku, určitě bych vypnutí HT zvážil.