Как исправить, что только одно из четырех ядер моего процессора обнаружено?

У меня есть компьютер Acer Aspire M5640 / M3640 с процессором Intel Core 2 Q8200 (Quad-core) под управлением Ubuntu 12.04.

Теперь кажется, что он распознает только одно ядро ​​процессора. lscpu выводит:

Architecture:          x86_64
CPU op-mode(s):        32-bit, 64-bit
Byte Order:            Little Endian
CPU(s):                1
On-line CPU(s) list:   0
Thread(s) per core:    1
Core(s) per socket:    1
Socket(s):             1
NUMA node(s):          1
Vendor ID:             GenuineIntel
CPU family:            6
Model:                 23
Stepping:              10
CPU MHz:               2333.403
BogoMIPS:              4666.80
L1d cache:             32K
L1i cache:             32K
L2 cache:              2048K
NUMA node0 CPU(s):     0

Я ожидал, что Core(s) per socket и CPU(s) будут иметь 4 в списке в качестве значения.

Важным примечанием является то, что я не могу загружать его регулярно, но мне нужен параметр загрузки ядра nolapic, чтобы избежать жесткого зависания во время загрузки.

Говоря о загрузке, версия прошивки Version: R01-C2

Любые мысли о возможности использования всех четырех ядер будут высоко оценены.

Дополнительная информация

dmesg дает:

[    0.000000] Nvidia board detected. Ignoring ACPI timer override.
[    0.000000] If you got timer trouble try acpi_use_timer_override
[    0.000000] SFI: Simple Firmware Interface v0.81 http://simplefirmware.org
[    0.000000] Intel MultiProcessor Specification v1.4
[    0.000000] MPTABLE: OEM ID: nVidia  
[    0.000000] MPTABLE: Product ID: MCP73       
[    0.000000] MPTABLE: APIC at: 0xFEE00000
[    0.000000] Processor #0 (Bootup-CPU)
[    0.000000] Processor #1
[    0.000000] Processor #2
[    0.000000] Processor #3
[    0.000000] IOAPIC[0]: apic_id 4, version 17, address 0xfec00000, GSI 0-23
[    0.000000] Processors: 4
[    0.000000] SMP: Allowing 4 CPUs, 0 hotplug CPUs

и lshw -class cpu

  *-cpu                   
       description: CPU
       product: Intel(R) Core(TM)2 Quad CPU    Q8200  @ 2.33GHz
       vendor: Intel Corp.
       physical id: 4
       bus info: cpu@0
       version: Intel(R) Core(TM)2 Quad CPU    Q8200  @ 2.33GHz
       serial: To Be Filled By O.E.M.
       slot: SOCKET775 M/B
       size: 2333MHz
       capacity: 2333MHz
       width: 64 bits
       clock: 333MHz
       capabilities: x86-64 fpu fpu_exception wp vme de pse tsc msr pae mce cx8 sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx constant_tsc arch_perfmon pebs bts rep_good nopl aperfmperf pni dtes64 monitor ds_cpl est tm2 ssse3 cx16 xtpr pdcm sse4_1 xsave lahf_lm dtherm
       configuration: cores=4 enabledcores=4 threads=4
  *-processor UNCLAIMED
       description: Co-processor
       product: MCP73 Co-processor
       vendor: NVIDIA Corporation
       physical id: 3.3
       bus info: pci@0000:00:03.3
       version: a2
       width: 32 bits
       clock: 66MHz
       capabilities: bus_master
       configuration: latency=0 maxlatency=1 mingnt=3
       resources: memory:fce80000-fcefffff

и dmidecode: