This could possibly explain the issue with the USB-C monitor, but then why would this work after the HDMI circus? The hardware and OS clearly are capable of doing this, and no cable is replaced in the process. I also don't move them around during the reboot.