(In reply to Libor Pechacek from comment #12) > I'm going to test Takashi's kernel from > https://download.opensuse.org/repositories/home:/tiwai:/bsc1186194/standard/ > x86_64/ next. This one (5.12.12-1.g2fdf821-default) has been running smoothly in the past few days. From the user's point of view, I would call the issue solved. Thanks!