I rebooted, and all four cores were brought up. I'm attaching the output of uname, cpuinfo, and dmesg again (not sure what ubuntu-bug is going to post here, so it may be superfluous).
** Attachment added: "debug-working.txt" http://launchpadlibrarian.net/22179153/debug-working.txt -- SMP kernel only brings up one CPU/core https://bugs.launchpad.net/bugs/326794 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs