I have the same issue, but I'm also using the Dell 180w dock with it. I just have to switch ports for the USB-C cable that comes from the dock 1-4 times. Usually the first plug in produces nothing on the monitor. The first port swap gets me on the external display, but at 1920x1080 resolution. The 2nd port swap gets me back at 4k on the external.