Portátiles y netbooks ThinkPad con Windows 10, HDMI