Исправление superuser, 24.11.19 23:40 (текущая версия) :
Помести их в отдельную папку и выполни
$ sudo dpkg -i *.deb
При перезагрузке выбери это ядро
Исходная версия superuser, 24.11.19 23:39: