Comment 13 for bug 1791312

Paul Dufresne (paulduf) wrote :

Well, I tested on my laptop with:
paul@paul-NC210-NC110:~$ cat /proc/version
Linux version 3.14.79-031479-generic (kernel@gloin) (gcc version 4.8.4 (Ubuntu 4.8.4-2ubuntu1~14.04.3) ) #20160910530 SMP Sun Sep 11 09:41:06 UTC 2016

When I used gdebi to install the kernel .deb, in the details, there were some errors.
I believe this was because I did not installed headers .deb before...
I would suggest you install the headers .deb before... but it work even without
the headers .deb.
Also gdebi said version was already installed: I am pretty sure it was not.

I lost my wifi however after rebooting with that version (I plugged Ethernet wire for writing
this).

And I am on Linux Mint 19.1.
When I rebooted, it continue to boot with old kernel, and was not showing me the menu...
even if I pressed Esc and Shift.

So I edited /etc/default/grub from:
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0

to:
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=10

but I think this could be needed only on Mint.

after that, advanced options were showing, and I was able to select old kernel version.