I tried all the tricks to make the hdmi audio output work but I failed. I tried all the distro available (noobs, raspbian, libreelec) but not a single time i was able to produce any noise. Is there a way to figure out if I have a hardware problem? At the beginning i thought it was a maturity problem of the software, but after three months I'm starting to think i have a broken pi. Any info on any utility i could use to debug my issue will be very appreciated.