Are you sure your USB sound device isn’t using something like DD Live to re-encode the audio? This is usually a tab in the audio properties if the card is device is capable of it.
Basically, the PC should decode the audio for you and just send it using your HDMI audio device. If it is 5.1 audio, the PC will decode and send as LPCM.
