Sorry, I must have done something wrong when replying, as I'm not subscribed to the mailing list. It was supposed to be a reply to this thread: https://lists.debian.org/debian-user/2018/12/msg00019.html Message-id: [email protected]
The bug report you mentioned was noted there, that helped me a lot. And I just booted with the 4.19.0.1 kernel and works fine. Not the easy installation I hoped for, but learned something :)
