John Nemeth wrote:
>      Hyperthreading CPUs show up as two CPUs to the OS.  The kernel
> is correct.  However, you need to use MPACPI option to make use of the
> second virtual CPU.
>   
The kernel configurations that came with current 10-06-2007 did not 
include a GENERIC.MPACPI.  However there is a very short GENERIC.MP.  I 
doesn't look correct because it is so short, but please tell me if it is.

======= GENERIC.MP ==========
#       $NetBSD: GENERIC.MP,v 1.9 2007/03/06 21:47:47 bouyer Exp $
#
#       GENERIC.MP -- Generic, plus enable Multiprocessor support.
#

include "arch/i386/conf/GENERIC"

options         MULTIPROCESSOR

options         APM_NO_IDLE
#options        DIAGNOSTIC      # STRONGLY RECOMMENDED
#options        LOCKDEBUG
#options        MPDEBUG
#options        MPVERBOSE
#options        DEBUG
options         MPBIOS          # configure CPUs and APICs using MPBIOS