> y si hago un cat /proc/cpuinfo me da esto
>
> processor       : 0
> vendor_id       : GenuineIntel
> cpu family      : 6
> model           : 42
> model name      : Intel(R) Core(TM) i5-2400 CPU @ 3.10GHz
> stepping        : 7
> microcode       : 0x28
> cpu MHz         : 3101.000
> cache size      : 6144 KB
> physical id     : 0
> siblings        : 1
> core id         : 0
> cpu cores       : 1
> apicid          : 0
> initial apicid  : 0
> fpu             : yes
> fpu_exception   : yes
> cpuid level     : 13
> wp              : yes
> flags           : fpu

Por así acaso ponle un grep para poder contar los procesadores, quizá no los estas viendo

> ¿Cómo podría solucionarlo?
Instala un kernel con PAE quizá eso solucione el problema