Tengo un servidor con un procesador de dos núcleos, sin embargo los comandos cat /proc/cpuinfo y top sólo mostraban un sólo núcleo (core).
Después de mucho buscar, en mi caso la solución fué activar la característica ACPI en el BIOS de mi servidor y eliminar, en el archivo de configuración de arranque de GRUB, la opción acpi=off.
¡Ahora el servidor trabaja mucho mejor!