I think I finally have some success. After I did the BIOS update, I forgot to load optimized defaults. Once I did that, I've been able to boot twice in a row with all four cores. BIOS updates are no joke, I shouldn't have neglected them for so long.
Feel free to close this bug as resolved. (-; -- SMP kernel fails to boot most of the time https://bugs.launchpad.net/bugs/515270 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