Comment # 3 on bug 58660 from Thomas Rohloff

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.