@Michel Dänzer, did you mean output of dmesg directly after crash, or just a
general one? It may be difficult to get it with screwed up console, but I will
try to get it next time it crashes