My apologies. Kernel linux-image-3.10-3-amd64 version 3.10.11-1 doesn't work either. It still shows the same bug. I got confused about which kernel I was running when I did the test. I was actually running a 3.2 kernel from wheezy when it worked. I will continue my quest to find a newer kernel which works. Stay tuned ...
-- .''`. Stephen Powell : :' : `. `'` `- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org