Одним словом, спасибо ув. Alf500. Установил. Но, учитываю моя мало грамотность в Linux , получилось чисто методом научного тыка. Сперва установил ядро 4-9-0-8. Потом deb пакет. Затем по вышеуказанной инструкции по установке на debian, выполнил все шаги, с учетом новых названий папок. И у меня все заработало. Низкий поклон ув.alf500