I think from you description you can install this system from the new ISO using hdmi. Would you therefore be able to check out some of the interim kernels between 4.12.0-12 and 4.13.0-16 to see which of those work. They should be available in the launchpad librarian. Don't forget to install both linux-image and linux-image-extra when testing.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1723619 Title: Ubuntu Desktop ISO fails to boot with nouveau on a displayport To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-release-notes/+bug/1723619/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs