You are right, ofcourse :-)
But, when running a 2.4 kernel, the increase isn't worth mentioning (in my case that is). Roughly a 5% overall speed increase. I've been told that the 2.6 kernel does a (much?) better job.
I do use hyperthreading, but am not that impressed with the speed increase (ok, 5% is an increase

). I do like the virtual cpu mechanism, though.
You have any experience with hyperthreading and 2.6 kernels?