http://brainstorm.ubuntu.com/idea/5039/
I always thought that you needed the smp kernel to take advantage of the second
multiprocessor, but it seems that smp is built into all kernels of Ubuntu,
although I am not sure, because I only know what I read online as I am not a
hardware expert.