This has been fixed with the new linux-image infrastructure where the linux-image-generic (which is used on the desktop CD) supports SMP.
This has been fixed with the new linux-image infrastructure where the linux-image-generic (which is used on the desktop CD) supports SMP.