Hi,
I talked to the plymouth maintainer and he said this is a known bug;
I
don't know if the fix is in F13 yet but let me explain what's going on:
You've got two bugs. One is a kernel panic. The other is that when the
kernel is panicking, rather than showing useful debug information, it is
Good to know, thanks. It's just good to know there is a confirmed bug,
so I'm confident it is being worked on, and a fix will be available in
the near future.
I checked the logs after the reboot, and there wasn't anything useful
from syslog or the X11 logs.
Thanks again,
Alex