HP DL380 G3 and SMP with 6.0

[Miguel]

Hi, i just installed Freebsd 6.0-release in a dl380 g3 dual xeon 2.4, 
after the install i edited generic and commented out the I486 and I586, 
this is my dmesg,

CPU: Intel(R) Xeon(TM) CPU 2.40GHz (2390.70-MHz 686-class CPU)

so i only left I686

machine         i386
#cpu            I486_CPU
#cpu            I586_CPU
cpu             I686_CPU
ident           NAP

and i also added these for SMP (the I/O APIC line was already there)

# To make an SMP kernel, the next line is needed
options         SMP                     # Symmetric MultiProcessor Kernel

device          apic                    # I/O APIC

after that i rebooted with the new kernel, i dont see the second 
processor, HT is disabled in hte bios:

dmesg:

Copyright (c) 1992-2005 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
        The Regents of the University of California. All rights reserved.
FreeBSD 6.0-RELEASE #2: Thu Mar  9 01:11:54 CST 2006
    mmiranda at shiva2.americatelsal.com:/usr/src/sys/i386/compile/NAP
Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: Intel(R) Xeon(TM) CPU 2.40GHz (2390.70-MHz 686-class CPU)
  Origin = "GenuineIntel"  Id = 0xf29  Stepping = 9
  
Features=0xbfebf9ff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE>
  Features2=0x4400<CNTX-ID,<b14>>
  Hyperthreading: 2 logical CPUs
real memory  = 3221200896 (3071 MB)
avail memory = 3151339520 (3005 MB)
npx0: [FAST]
npx0: <math processor> on motherboard
npx0: INT 16 interface
acpi0: <COMPAQ P29> on motherboard
acpi0: Power Button (fixed)

[....]

top:

last pid:  1780;  load averages:  0.00,  0.00,  
0.00                                                                  up 
0+08:12:22  09:27:16
22 processes:  1 running, 21 sleeping
CPU states:     % user,     % nice,     % system,     % interrupt,     % 
idle
Mem: 7412K Active, 84M Inact, 104M Wired, 12K Cache, 112M Buf, 2813M Free
Swap: 6144M Total, 6144M Free

  PID USERNAME  THR PRI NICE   SIZE    RES STATE    TIME   WCPU COMMAND
  415 root        1  96    0  3416K  2816K select   0:00  0.00% sendmail
  431 root        1   8    0  1312K  1032K nanslp   0:00  0.00% cron
  289 root        1  96    0  1292K   868K select   0:00  0.00% syslogd
  472 root        1   4    0  6100K  3116K sbwait   0:00  0.00% sshd

the steps above worked fine with Freebsd 4.8-STABLE on a similar 
machine, is there a new kernel options that im missing?
---
Miguel