I've done further testing as you suggested. Here's a breakdown of my findings:
I tested the following kernel versions on 4k + displayport (installed from launchpad librarian, with their matching -extra package and an "update-grub"):
- 4.12.0-12: Boots. System seems to crash after a few seconds on the 4k desktop (cannot switch VTs). Maybe a separate bug however, at least it makes it to login+desktop.
- 4.12.0-13: Boots. Same symptoms as previous kernel (crashes after a few seconds on the desktop).
- 4.13.0-10: Does not boot. Fails with a slightly different output than initially reported (see below)
I've done further testing as you suggested. Here's a breakdown of my findings:
I tested the following kernel versions on 4k + displayport (installed from launchpad librarian, with their matching -extra package and an "update-grub"):
- 4.12.0-12: Boots. System seems to crash after a few seconds on the 4k desktop (cannot switch VTs). Maybe a separate bug however, at least it makes it to login+desktop.
- 4.12.0-13: Boots. Same symptoms as previous kernel (crashes after a few seconds on the desktop).
- 4.13.0-10: Does not boot. Fails with a slightly different output than initially reported (see below)
- 4.13.0-11: Does not boot. Same symptoms.
- 4.13.0-12: Does not boot. Same symptoms. Screenshot https:/ /photos. app.goo. gl/ztJvK7Im2LVC K0ss1
- 4.13.0-15: Does not boot. Same symptoms.
- 4.13.0-16: Does not boot. Same symptoms.
None of the tested kernels exhibit any problematic behavior when the HDMI + 1080p screen is plugged in.