Bug#577771: kfreebsd-8: /proc/cpuinfo shows only one processor

[Santiago Vila <sanvila@unex.es>]

Package: kfreebsd-image-8.0-1-686-smp
Version: 8.0-5

$ dmesg | grep "2 CPU"
FreeBSD/SMP: Multiprocessor System Detected: 2 CPUs

However:

$ cat /proc/cpuinfo
processor       : 0
vendor_id       : GenuineIntel
cpu family      : 6
model           : 16
model name      : Intel(R) Pentium(R) 4 CPU 3.00GHz
stepping        : 3
processor       : 1
vendor_id       : GenuineIntel
cpu family      : 6
model           : 16
model name      : Intel(R) Pentium(R) 4 CPU 3.00GHz
stepping        : 3
flags           : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov
pat pse36 b19 b21 mmxext mmx fxsr xmm sse2 b27 b28 b29 3dnow
cpu MHz         : 2992.51
bogomips        : 2992.51

i.e. only one processor is shown.

Relevant messages from dmesg:

FreeBSD/SMP: Multiprocessor System Detected: 2 CPUs
FreeBSD/SMP: 1 package(s) x 1 core(s) x 2 HTT threads
 cpu0 (BSP): APIC ID:  0
 cpu1 (AP/HT): APIC ID:  1
[...]
cpu0: <ACPI CPU> on acpi0
est0: <Enhanced SpeedStep Frequency Control> on cpu0
est: CPU supports Enhanced Speedstep, but is not recognized.
est: cpu_vendor GenuineIntel, msr f2d00000f2d
device_attach: est0 attach returned 6
p4tcc0: <CPU Frequency Thermal Control> on cpu0
cpu1: <ACPI CPU> on acpi0
est1: <Enhanced SpeedStep Frequency Control> on cpu1
est: CPU supports Enhanced Speedstep, but is not recognized.
est: cpu_vendor GenuineIntel, msr f2d00000f2d
device_attach: est1 attach returned 6
p4tcc1: <CPU Frequency Thermal Control> on cpu1


Thanks.