We already have strong and widely adopted digital audio standard, its called I2S. HDMI audio is four I2S channels in parallel. Provision pins for raw I2S, or simple usb endpoint decoding into four I2S, but not another effing DRM shit.