https://bugs.freedesktop.org/show_bug.cgi?id=58660
--- Comment #3 from Thomas Rohloff v10lator@myway.de --- The thing is that I can't access dmesg after the crash. Not even SysMagRQ works.
See my dmesg with the other BIOS here: https://bugs.freedesktop.org/attachment.cgi?id=72006
I have the BIOSes still lying around somewhere. Let me search real quick.