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.
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.