If you just want to run a non-SMP kernel, "sudo apt-get install linux-386" will do the trick for you. -- Fail to boot smp kernel https://launchpad.net/bugs/24533