“What is the HDMI port version? I read that HDMI 1.4 is the required minimum for an external 4k monitor. Also, does the USB 3.1 port support a 4k monitor? Thanks.”