Bu bir debian sürümü değil. Bu kernel versiyonudur en fazla. Sanırım çekirdeği güncellemek istiyorsunuz?