The kernel from benh [1] works for me. I am happy; thank you! Julius
[1] https://people.debian.org/~benh/packages/linux-image-3.2.0-4-amd64_3.2.65-1+deb7u1~test_amd64.deb -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
