Comment 443 for bug 1734147

Hi there,

so it feels I am a special case of this. I am running Linux Mint 18.3 as my main distro. However to check a problem with standby based on Ubuntu I tried to run Ubuntu 17.10 from USB. Since then I have the same trouble to save my BIOS, etc.
However Linux Mint is starting from hard disk without problems.

I read the possible repair solution and before trying to do anything, I wanted to check, if it is likely that this kernel will work with Linux Mint 18.3, which is based on Ubuntu 16.04?
Highest available Kernel by package manager is 4.13.0-21 right now.