(In reply to Guillaume GARDET from comment #10) > (In reply to Oliver Neukum from comment #9) > > https://build.opensuse.org/project/ > > monitor?project=home%3Aoneukum%3Absc1140892_20190710a > > It should be a u-boot patch, not a kernel patch, no? It happens in the reboot path, so I can be a kernel problem.