Fixup hdmi audio problem.