The bug seems to be corrected in 4.13.0-33. Please mark the bug as
attended from -33. / Gunnar
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
New kernels not booting. Referred back to Bios
To manage notifications about this bug go to:
ubuntu-bugs mailing list