The joyful news I received today is that the patch has been committed upstream to the 3.10 stable tree: http://git.kernel.org/cgit/linux/kernel/git/stable/stable-queue.git/commit/?id=47b04e91606a459a5c60abc6a5d03bcc6bd6d801 So I trust that it will make it into Debian soon. Johannes