(Debian based) SteamOS, HDMI and Xorg