No replies about anyone experienced problems w. hyperthreading.
Today the server totally crashed.
fsck -y /dev/sda3 deleted almost all files. :-(
Now I will try tux with 2.4.21-pre2 instead. And only two tux-workers.
And I will change the scsi-card from LSI Logic 53C1000 to a known good one Adaptec 19160.
I get a lot of "Hunk success" when patching as descibed on the list. I Guess these are okay?