I do not see the "Unknown IPI message" line. The panic occurs a while after shutting down CPU1, not when trying to boot it again. I had enough time to get the dmesg via ssh. The full log is attached.
** Attachment added: "full dmesg log" https://bugs.launchpad.net/ubuntu/+source/linux-ti-omap4/+bug/707003/+attachment/1809941/+files/dmesg2.txt -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/707003 Title: Kernel panic when trying to offline CPU1 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs