I use SageTV and have had a problem for awhile where I don’t have sound after coming out of standby. probably a patience thing because usually starting playback again will fix it but I did actually have to reboot yesterday. The HDMI audio driver was not even in control panel before the reboot. I did a driver update within the last week so it may be driver issue.
