I cannot get the sound to work on my UDOO quad with UDOObuntu v1.1 or any of the other Debian based distros. The sound works great under OpenElec, so I know it's not the board itself. There is no sound with either HDMI or jacked. Anyone have any suggestions? Thanks.