Comment 7 for bug 1723619

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.