Samsung Evo SSD Kernel Bug

[rokytnji]

or this

Code:

arry@misohorny1:~$ dpkg --list | grep linux-image
ii  linux-image-3.13.0-24-generic              3.13.0-24.47                            i386         Linux kernel image for version 3.13.0 on 32 bit x86 SMP
ii  linux-image-extra-3.13.0-24-generic        3.13.0-24.47                            i386         Linux kernel extra modules for version 3.13.0 on 32 bit x86 SMP
ii  linux-image-linuxlite-4.0.0                0010                                    i386         Linux kernel binary image for version 4.0.0-linuxlite
ii  linux-image-linuxlite-4.1.0                0010                                    i386         Linux kernel binary image for version 4.1.0-linuxlite
ii  linux-image-linuxlite-4.2.0                0010                                    i386         Linux kernel binary image for version 4.2.0-linuxlite

Maybe you missed the news here
https://www.linuxliteos.com/forums/insta...te-kernel/