Hello! I have installed Tumbleweed with KDE on my HP EliteBook 840, everything goes like a charm, but when I try to plug an external monitor through the VGA output, nothing happens. The F4 key doesnt work, the KDE Configure desktop doesnt show the monitor. I can only make it work after I execute in a terminal "xrandr". Is this a bug? or there is something that Im missing somewhere? lspci gives: 00:02.0 VGA compatible controller: Intel Corporation Broadwell-U Integrated Graphics (rev 09) Thanks!