I did some more tests. The patched kernel also sometimes reboots automatically. This happens during boot. If the lockup occurs, the screen goes black. Sometimes I pressed/long pressed the power button to restart the machine after some waiting. However I have to admit that the patched kernel 5.2.0-1.ga58fb14-pae is an improvement: I had the impression that the more I rebooted, the more it "worked", but then with some next reboot, it locked up / rebooted automatically during boot. Of 10 bootups it was possible at least 5 times to boot to a somewhat working desktop, however with errors and call traces in the dmesg log. One time I even didn't find a regarding error in the dmesg. I'm going to attach dmesg logs. The original kernel 5.2.0-10.gb11a4ae-pae didn't boot to a working desktop after at least 5 tries. With original kernel you sometimes can watch the oops and traces on the screen, however its to fast to really follow. Sometimes the screen goes black. After some time it automatically reboots; as I remember I sometimes also had to press/long press the power button to get it restarted.