Ho provato a compilare lo stesso kernel utilizzando o meno l'hypertreading. E devo dire che la differenza si vede eccome...
Giudicate voi:
2min56" make -j2 con HT abilitato
3min27" make con HT abilitato
3min27" make con HT disabilitato
3min29" make -j2 con HT disabilitato