I have been trying to find an answer to this but I have had no luck so far.
Does anybody know what gets sent via the HDMI when you select HDMI as the output for the RPi2? Is it the raw PCM stream generated from a FLAC/MP3 or is there any down or up sampling that occurs.