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