ok my the mail was still relevant, it's exacly what I've described. 
Namely, with netbsd-4/amd64 20070411,
	- no second cpu found while using SMP kernel
	(- the need to disable azalai audio driver, will be addressed later)

here is the right dmesg,

uc> disq^H ^Hable azalia
[163] azalia* disabled
uc> exit
Continuing...
timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
mainbus0 (root)
cpu0 at mainbus0: (uniprocessor)
cpu0: Intel(R) Core(TM)2 CPU         T5600  @ 1.83GHz, 1828.91 MHz
cpu0: features: bffbfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features: bffbfbff<PGE,MCA,CMOV,PAT,PSE36,MPC,NOX,B21,MMXX,MMX>
cpu0: features: bffbfbff<FXSR,SSE,SSE2,B27,HTT,LONG,3DNOW>
cpu0: L2 cache 2 MB 64B/line 8-way
cpu0: 64 page colors
pci0 at mainbus0 bus 0: configuration mode 1
pci0: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
pchb0 at pci0 dev 0 function 0
pchb0: Intel 82945GM/PM/GMS Host Bridge (rev. 0x03)
vga0 at pci0 dev 2 function 0: Intel 82945GM/PM/GMS Integrated Graphics 
Device (rev. 0x03)
wsdisplay0 at vga0 kbdmux 1
wsmux1: connecting to wsdisplay0
Intel 82945GM/PM/GMS Integrated Graphics Device (miscellaneous display, 
revision 0x03) at pci0 dev 2 function 1 not configured
Intel 82801GB/GR High Definition Audio Controller (multimedia subclass 
0x03, revision 0x01) at pci0 dev 27 function 0 not configured
ppb0 at pci0 dev 28 function 0: Intel 82801GB/GR PCI Express Port #1 
(rev. 0x01)
pci1 at ppb0 bus 8
pci1: i/o space, memory space enabled, rd/line, wr/inv ok
Intel PRO/Wireless LAN 3945ABG Mini-PCI Adapter (miscellaneous network, 
revision 0x02) at pci1 dev 0 function 0 not configured
ppb1 at pci0 dev 28 function 2: Intel 82801GB/GR PCI Express Port #3 
(rev. 0x01)
pci2 at ppb1 bus 24
pci2: i/o space, memory space enabled, rd/line, wr/inv ok
ppb2 at pci0 dev 28 function 3: Intel 82801GB/GR PCI Express Port #4 
(rev. 0x01)
pci3 at ppb2 bus 32
pci3: i/o space, memory space enabled, rd/line, wr/inv ok
uhci0 at pci0 dev 29 function 0: Intel 82801GB/GR USB UHCI Controller 
(rev. 0x01)
uhci0: interrupting at irq 10
usb0 at uhci0: USB revision 1.0
uhub0 at usb0
uhub0: Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub0: 2 ports with 2 removable, self powered
uhci1 at pci0 dev 29 function 1: Intel 82801GB/GR USB UHCI Controller 
(rev. 0x01)
uhci1: interrupting at irq 11
usb1 at uhci1: USB revision 1.0
uhub1 at usb1
uhub1: Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub1: 2 ports with 2 removable, self powered
uhci2 at pci0 dev 29 function 2: Intel 82801GB/GR USB UHCI Controller 
(rev. 0x01)
uhci2: interrupting at irq 11
usb2 at uhci2: USB revision 1.0
uhub2 at usb2
uhub2: Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub2: 2 ports with 2 removable, self powered
uhci3 at pci0 dev 29 function 3: Intel 82801GB/GR USB UHCI Controller 
(rev. 0x01)
uhci3: interrupting at irq 10
usb3 at uhci3: USB revision 1.0
uhub3 at usb3
uhub3: Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub3: 2 ports with 2 removable, self powered
ehci0 at pci0 dev 29 function 7: Intel 82801GB/GR USB EHCI Controller 
(rev. 0x01)
ehci0: interrupting at irq 10
ehci0: BIOS has given up ownership
ehci0: EHCI version 1.0
ehci0: companion controllers, 2 ports each: uhci0 uhci1 uhci2 uhci3
usb4 at ehci0: USB revision 2.0
uhub4 at usb4
uhub4: Intel EHCI root hub, class 9/0, rev 2.00/1.00, addr 1
uhub4: 8 ports with 8 removable, self powered
ppb3 at pci0 dev 30 function 0: Intel 82801BAM Hub-PCI Bridge (rev. 0xe1)
pci4 at ppb3 bus 2
pci4: i/o space, memory space enabled
Texas Instruments product 0x8039 (CardBus bridge) at pci4 dev 6 function 
0 not configured
fwohci0 at pci4 dev 6 function 1: Texas Instruments product 0x803a (rev. 
0x00)
fwohci0: interrupting at irq 10
fwohci0: OHCI version 1.10 (ROM=0)
fwohci0: No. of Isochronous channels is 4.
fwohci0: EUI64 00:02:3f:99:29:91:47:0c
fwohci0: Phy 1394a available S400, 3 ports.
fwohci0: Link S400, max_rec 2048 bytes.
ieee1394if0 at fwohci0: IEEE1394 bus
fwip0 at ieee1394if0: IP over IEEE1394
fwohci0: Initiate bus reset
Texas Instruments product 0x803b (miscellaneous mass storage) at pci4 
dev 6 function 2 not configured
Texas Instruments product 0x803c (SD Host Controller system) at pci4 dev 
6 function 3 not configured
Texas Instruments product 0x803d (miscellaneous communications) at pci4 
dev 6 function 4 not configured
bge0 at pci4 dev 14 function 0: Broadcom BCM5788 Gigabit Ethernet
bge0: interrupting at irq 11
bge0: ASIC BCM5705 A3 (0x3003), Ethernet address 00:17:08:41:9a:1c
bge0: setting short Tx thresholds
brgphy0 at bge0 phy 1: BCM5705 1000BASE-T media interface, rev. 2
brgphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, 1000baseT, 
1000baseT-FDX, auto
pcib0 at pci0 dev 31 function 0
pcib0: Intel 82801GBM LPC Interface Bridge (rev. 0x01)
piixide0 at pci0 dev 31 function 2
piixide0: Intel 82801GBM/GHM Serial ATA Controller (ICH7) (rev. 0x01)
piixide0: bus-master DMA support present
piixide0: primary channel wired to compatibility mode
piixide0: primary channel interrupting at irq 14
atabus0 at piixide0 channel 0
piixide0: secondary channel wired to compatibility mode
piixide0: secondary channel interrupting at irq 15
atabus1 at piixide0 channel 1
isa0 at pcib0
lpt0 at isa0 port 0x378-0x37b irq 7
com0 at isa0 port 0x3f8-0x3ff irq 4: ns16550a, working fifo
com0: console
pckbc0 at isa0 port 0x60-0x64
pckbd0 at pckbc0 (kbd slot)
pckbc0: using irq 1 for kbd slot
wskbd0 at pckbd0 mux 1
wskbd0: connecting to wsdisplay0
pms0 at pckbc0 (aux slot)
pckbc0: using irq 12 for aux slot
wsmouse0 at pms0 mux 0
attimer0 at isa0 port 0x40-0x43: AT Timer
pcppi0 at isa0 port 0x61
pcppi0: children must have an explicit unit
midi0 at pcppi0: PC speaker (CPU-intensive output)
sysbeep0 at pcppi0
pcppi0: attached to attimer0
fwohci0: node_id=0xc800ffc0, gen=2, CYCLEMASTER mode
ieee1394if0: 1 nodes, maxhop <= 0, cable IRM = 0 (me)
ieee1394if0: bus manager 0 (me)
fwohci0: phy int
timecounter: Timecounter "clockinterrupt" frequency 100 Hz quality 0
Kernelized RAIDframe activated
uhub5 at uhub4 port 1
uhub5: Standard Microsystems product 0x2503, class 9/0, rev 2.00/0.01, 
addr 2
uhub5: multiple transaction translators
uhub5: 3 ports with 0 removable, self powered
ubt0 at uhub5 port 1 configuration 1 interface 0
ubt0: Broadcom Corp HP Integrated Module, rev 2.00/1.00, addr 3
wd0 at atabus0 drive 0: <FUJITSU MHV2080BH PL>
wd0: drive supports 16-sector PIO transfers, LBA48 addressing
wd0: 76319 MB, 155061 cyl, 16 head, 63 sec, 512 bytes/sect x 156301488 
sectors
wd0: 32-bit data port
wd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 5 (Ultra/100)
wd0(piixide0:0:0): using PIO mode 4, Ultra-DMA mode 5 (Ultra/100) (using 
DMA)
atapibus0 at atabus1: 2 targets
cd0 at atapibus0 drive 0: <TSSTcorpCD/DVDW TS-L632D, , HH15> cdrom removable
cd0: 32-bit data port
cd0: drive supports PIO mode 4, DMA mode 2
cd0(piixide0:1:0): using PIO mode 4, DMA mode 2 (using DMA)
ugen0 at uhub5 port 2
ugen0: AuthenTec Fingerprint Sensor, rev 1.10/6.23, addr 4
boot device: wd0
root on wd0f dumps on wd0b
root file system type: ffs
wsdisplay0: screen 1 added (80x25, vt100 emulation)
wsdisplay0: screen 2 added (80x25, vt100 emulation)
wsdisplay0: screen 3 added (80x25, vt100 emulation)
wsdisplay0: screen 4 added (80x25, vt100 emulation)


heg# dmesg | grep cpu
cpu0 at mainbus0: (uniprocessor)
cpu0: Intel(R) Core(TM)2 CPU         T5600  @ 1.83GHz, 1828.87 MHz
cpu0: features: bffbfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features: bffbfbff<PGE,MCA,CMOV,PAT,PSE36,MPC,NOX,B21,MMXX,MMX>
cpu0: features: bffbfbff<FXSR,SSE,SSE2,B27,HTT,LONG,3DNOW>
cpu0: L2 cache 2 MB 64B/line 8-way
cpu0: 64 page colors
cpu0 at mainbus0: (uniprocessor)
cpu0: Intel(R) Core(TM)2 CPU         T5600  @ 1.83GHz, 1828.91 MHz
cpu0: features: bffbfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features: bffbfbff<PGE,MCA,CMOV,PAT,PSE36,MPC,NOX,B21,MMXX,MMX>
cpu0: features: bffbfbff<FXSR,SSE,SSE2,B27,HTT,LONG,3DNOW>
cpu0: L2 cache 2 MB 64B/line 8-way
cpu0: 64 page colors


# uname -a
NetBSD heg.nethence.com 4.0_BETA2 NetBSD 4.0_BETA2 (GENERIC.MP) #0: Wed 
Apr 11 12:00:44 PDT 2007 
builds@wb27:/home/builds/ab/netbsd-4/amd64/200704110002Z-obj/home/builds/ab/netbsd-4/src/sys/arch/amd64/compile/GENERIC.MP 
amd64


laptop's hardware specs:
Intel® Core™ 2 Duo Processor T5600 1.83 GHz 2 MB L2 cache 667 MHz front 
side bus
http://h10010.www1.hp.com/wwpc/us/en/sm/WF06a/321957-321957-64295-321838-89315-1839146.html
http://en.wikipedia.org/wiki/Intel_Core_2

I'll address the azalai bug on another mailing-list since it doesn't 
prevent the machine from booting on i386 architecture.  SMP issue comes 
first.

Thanks
Pierre-Philipp