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