kern/38798: 2nd CPU of a Core 2 duo CPU won't come ready

[10.50%free.fr@localhost]

>Number:         38798
>Category:       kern
>Synopsis:       2nd CPU of a Core 2 duo CPU won't come ready
>Confidential:   no
>Severity:       critical
>Priority:       low
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri May 30 14:00:01 +0000 2008
>Originator:     Vincent Habchi
>Release:        4.99.62/63
>Organization:
>Environment:
NetBSD vincent.local 4.99.62 NetBSD 4.99.62 (DELL) #37: Tue May  6 10:26:46 
CEST 2008  vincent%vincent.local@localhost:/usr/src/sys/arch/i386/compile/DELL 
i386
>Description:
On my DELL Inspiron 530 machine, bundled with a Core 2 Duo CPU,
cpu0: "Intel(R) Core(TM)2 Duo CPU     E4500  @ 2.20GHz",

the second core will not come ready. The kernel crashes a while after because 
it doesn't expect this behavior.

FreeBSD 7.0 and Linux/Ubuntu happily boot both the second CPU with no problem, 
so it does not seem to be a BIOS issue.
>How-To-Repeat:

>Fix:
Change BIOS setting to disable MP or boot a UP kernel. This is no fix but a 
ugly workaround.