> > FWIW, we had a similar bug report in Debian recently: > > https://lists.debian.org/debian-arm/2016/01/msg00098.html Hi Thomas I this thread, Ian Campbell mentions a patch. Please could you try that patch and see if it fixes your problem. Thanks Andrew