Comment 34 for bug 1509721

Hello Christopher, I tested with the latest stable mainline kernel and it not start. Although it listed as kernel available with dpkg -l | grep "linux \ - [a-z] * \ -" and with dpkg --get-selections | grep linux-image, despite "sudo update-grub2" when I start the computer, this kernel doesn't appear in the grub.