Comment # 4 on bug 107536 from dwagner

So far it has been a one-time event.

It was probably unrelated to the "echo manual
>power_dpm_force_performance_level" setting I mentioned above: I still need to
use that setting in order to let the kernel not crash every few minutes (this
is subject to https://bugs.freedesktop.org/show_bug.cgi?id=102322 ).