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: 90642680-7f8e-e3d8-36d9-58385af1f...@videotron.ca
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 :)
