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