On Sun, 13 Jul 2014 18:06:16 +0100, Ben Hutchings wrote:
> See <https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=44;bug=754173>.
Thanks - I can confirm that my problem is indeed caused by the same issue
and is gone with the kernel you supplied :-)
Regards,
Peter