I noticed that the new TV's are using HDMI and no longer VGA for Video in. Does the HDMI work ok in Fedora to HDTV.