Comment 18 for bug 1720930

Liftoff (liftoff) wrote :

Workaround #2 from #17 (the grub config changes) fixed it for me on 4.13.0-16-generic. Thank you for sharing.