Исправление roman77, 04.06.13 21:22 (текущая версия) :
В репах уже 3.9 ядро есть.
Linux debian-pc 3.9-1-amd64 #1 SMP Debian 3.9.4-1 x86_64 GNU/Linux
Исходная версия roman77, 04.06.13 21:18: