platform:hdmi-audio-codec