Есть только четыре ядра, но они гиперпотоки, поэтому они должны отображаться как 8 ядер в таких случаях, как использование системного монитора cpu.
Проверьте настройки UEFI (aka BIOS) для вариантов использовать только один поток на ядро. Ваш lscpu должен показывать два потока на ядро, а системный монитор должен отображать 8 cpus.