which windows 10 for hdmi input