デュアルCPUのi386で、
NetBSD-4.0RC2をインストして
dmesgを見ますと、下記のようになっていてCPU1が稼働してない
みたいなのです。　どこか設定すれば稼働するんですかね？

cpu0: ITLB 32 4 KB entries 4-way, 2 4 MB entries fully associative
cpu0: DTLB 64 4 KB entries 4-way, 8 4 MB entries 4-way
cpu0: calibrating local timer
cpu0: apic clock running at 68 MHz
cpu0: 8 page colors
cpu1 at mainbus0: apid 1 (application processor)
cpu1: not started