https://bugs.freedesktop.org/show_bug.cgi?id=107536
--- Comment #4 from dwagner jb5sgc1n.nya@20mm.eu --- 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 ).