Debian nie widzi procesora

Witam!
W temacie sprzętowym w Debian jestem zielony.
Mam serwer na płycie głównej TYAN, dołożyłem do niego procesor i wymieniłem ten co był na jednakowe i mocniejsze, lecz problem w tym że w htop widzę tylko jeden procesor. Z tego co się orientuje htop pokazuje wszystkie rdzenie jak miałem Debiana na zwykłej maszynie.
Komenda cat /proc/cpuinfo | grep processor | wc -l zwaraca 1

Dodam że procesory mam 4 rdzeniowe.

A w BIOS-ie widzisz drugi procesor?

Co pokazuje:
cat /sys/devices/system/cpu/possible
cat /sys/devices/system/cpu/present
cat /sys/devices/system/cpu/online

W bios widzi oba procesory i w sumie 8 rdzeni, natomiast wszystkie komendy zawracają zero.
cat /sys/devices/system/cpu/possible -> 0
cat /sys/devices/system/cpu/present -> 0
cat /sys/devices/system/cpu/online -> 0

ls -l /sys/devices/system/cpu
lscpu
cat /sys/devices/system/cpu/offline

Pokaż jeszcze ew. błędy:

#    dmesg -xl 3,4
dpkg -l | grep firmware

Czy system jest w pełni zaktualizowany, jakie jądro, jaka wersja Boskiego Debiana.

kern  :warn  : [    0.000000] ACPI: No APIC-table, disabling MPS
kern  :warn  : [    0.000000] smpboot: Boot CPU (id 0) not listed by BIOS
kern  :warn  : [    0.000000] ACPI: setting ELCR to 0200 (from 0ca0)
kern  :warn  : [    1.274255] i8042: PNP: PS/2 appears to have AUX port disabled, if this is incorrect please boot with i8042.nopnp
kern  :err   : [   16.839815] sd 8:1:28:0: [sdd] No Caching mode page found
kern  :err   : [   16.839861] sd 8:1:28:0: [sdd] Assuming drive cache: write through
kern  :warn  : [   30.592106] dme1737 1-002c: hwmon_device_register() is deprecated. Please convert the driver to use hwmon_device_register_with_info().
kern  :err   : [   32.002132] k10temp 0000:00:18.3: unreliable CPU thermal sensor; monitoring disabled
kern  :err   : [   32.002196] k10temp 0000:00:19.3: unreliable CPU thermal sensor; monitoring disabled
kern  :warn  : [   32.103787] resource sanity check: requesting [mem 0x000c0000-0x000dffff], which spans more than pnp 00:03 [mem 0x000d4000-0x000d7fff]
kern  :warn  : [   32.103792] caller pci_map_rom+0x58/0xf0 mapping multiple BARs
kern  :err   : [   32.147566] ipmi_si dmi-ipmi-si.0: Interface detection failed
kern  :warn  : [   47.683448] vboxdrv: loading out-of-tree module taints kernel.
kern  :warn  : [   47.798900] VBoxNetFlt: Successfully started.
kern  :warn  : [   47.903771] VBoxNetAdp: Successfully started.
kern  :warn  : [   47.913775] VBoxPciLinuxInit
kern  :err   : [   53.520068] watchdog: Software Watchdog: cannot register miscdev on minor=130 (err=-16).
kern  :err   : [   53.520308] watchdog: Software Watchdog: a legacy watchdog module is probably present.

Jadro to: image
A wersja to 9.11, jest to openmediavault w wersji: image