Cheap HDMI capture for Linux