Re: (Debian based) SteamOS, HDMI and Xorg