I have a similar hardware setup, and the same problem. When my HDMI TV goes on standby or of, the E350 integreated graphics card's HDMI sound out is no longer listed as a audio device under sound settings.
My workaround is to log out and back in again. Unpluging the HDMLI and plugging it in again also brings the sound back to life. Restarting pulse does not work for me, neither does it help to send noise to the HDMI port. I see Beltrachi says it works for him, though that was from bringing the machine up again from suspension. My PC stays on. I am using Ubuntu 12.04 with unity. Attached is the output of also-info.sh when the sound works. The sound not working case, will fillow shortly. ** Attachment added: "also-info.sh output when Sound over HDMI works" https://bugs.launchpad.net/ubuntu/+source/alsa-driver/+bug/974963/+attachment/3443713/+files/alsa-info.txt.ORh8O4PcpB%20sound%20works -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/974963 Title: [soundnua]: hdmi audio missing in sound settings To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/alsa-driver/+bug/974963/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs