Hello Bastian and Moritz,
Sorry for not responding more promptly, I was too busy with
various other things. Today I wanted to test the fix. However,
I am not that familiar with finding and testing kernels, so
after about an hour of trying to find the necessary information,
I gave up.
I would be happy to test the new kernel, but in order to do
it I need to know where to get it from, and how to install it.
Regards,
Peter