I hesitatingly upgraded to 18.04, and the 4.15 kernel that it comes with booted just fine, so it seems like this issue is limited to the 4.13 kernels that come with 17.10/16.04 HWE.
This is what I have now: $ lsb_release -rd Description: Ubuntu 18.04 LTS Release: 18.04 $ uname -a Linux thinkpad 4.15.0-24-generic #26-Ubuntu SMP Wed Jun 13 08:44:47 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1751584 Title: Ubuntu doesn't boot with 4.13.0 kernels To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1751584/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
