Thanks for the tips on how to approach debugging. I will try that. It might
take some time, but I will try to report back here with the result or when I
get stuck.
An alternative would of course also be to try a newer Kernel, e.g. the one
Daniel Vidal is apparently using successfully.
As such,
Hi,
thanks for the datapoint! If debugging doesn't lead to any result, I will try
with your version to see if that fixes it for us.
I should also try our version with your patch to fix the compilation instead of
the one we are using currently. Maybe that just happens to fix the issue.
Thanks f