Comment # 3 on bug 1177973 from Bernhard Randolf

(In reply to Takashi Iwai from comment #2)
> Does 5.7.x kernel work?  You can find an old kernel package in my OBS
> home:tiwai:kernel:5.7 repo.
>  
> http://download.opensuse.org/repositories/home:/tiwai:/kernel:/5.7/standard/
> 

Yes, it seems like 5.7.12-1.g9c98feb-default from your repo above does work
indeed.
At least boot worked on first attempt in 4 out of 4 boot-processes now (I tried
different scenarios in case this matters, such as reboot, hard reset, power off
+ power on).
Although I know 4 attempts is _not_ enough for statistics - but hey, that's the
longest sequence of successful boot-processes I ever had so far on this rig :-)