Additional info:

I booted with the HDMI cable in: at the login session, both screens were
working. But as soon as I logged in to Gnome the integrated screen switched
off.

So maybe the Linux kernel is not the only culprit here.

Reply via email to