Иду сюда: http://kernel.ubuntu.com/~kernel-ppa/mainline/ и скачиваю к примеру 3.19
С помощью gdebi ставлю ядро и gdebi говорит что ядро установлено.
Обновляю груб:
sudo update-grub
Но когда я во время старта ос захожу в список ядер что бы переключиться на старое ядро, то его там не бывает.
Как правильно установить старое ядро?
Нужно все это для того что бы проверить, может нормально будет клавиатура работать со старыми ядрами...