Re: system loses HDMI sound device