[isamudaison]

From the log, you turned off debugging before playing the video. Why? Leave it on through playing the video so we can see how it opens the sound.

Doh.  I clicked around on screen and heard no navigation sounds... didn't think about playing a video.

Okay, expect to hear from me in another month when I can capture it failing! So, to recap, if there's no sound:

• enable debug
  
• play a video without sound briefly
  
• disable debug
  
• upload logfile
  

... that right?  

FYI this happens on occasion with my x86 + nVidia gt 630 as well... even with my edid.bin file being forced in the xorg.conf (and has happened for a long time)... If you want to fully alleviate it you'll have to get an HDMI doctor (or something similar, it basically tricks your hdmi source into thinking the sink is always available, with a proper edid).