I'm running the stock 3.10-2-amd64 kernel and I notice that this problem seems to have resolved itself.
-- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/201309222232.14975.boris.barb...@ens.fr