HT kernel

[Alexandre Vieira]

Hello,

  I have a machine with an Intel p4 3.2ghz FSB800 w/ 1MB L2 cache and
I wanted to know your opinion about some kernel options that would
boost the performance of this kind of processor.

Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: Intel(R) Pentium(R) 4 CPU 3.20GHz (3206.95-MHz 686-class CPU)
  Origin = "GenuineIntel"  Id = 0xf34  Stepping = 4
  Features=0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE>
  Hyperthreading: 2 logical CPUs
real memory  = 2146369536 (2046 MB)
avail memory = 2079641600 (1983 MB)
FreeBSD/SMP: Multiprocessor System Detected: 2 CPUs
 cpu0 (BSP): APIC ID:  0
 cpu1 (AP): APIC ID:  1
ioapic0: Changing APIC ID to 2
ioapic0 <Version 2.0> irqs 0-23 on motherboard
Pentium Pro MTRR support enabled

Will the GENERIC options fit for this or will other options boost this
processor to his maxium? I remember in 4.x that HT was an option but
now it's seems defaulted.

Thanks for your time.
Regards.