http://developers.slashdot.org/article.pl?sid=03/12/01/2133249&mode=thread&tid=106&tid=185&tid=90 Infatti ho dato un apt-get dist-upgrade e mi sta scaricando il kernel patchato. Cessato allarme, comunque? Su debian.org non ho visto altri annunci ufficiali.