hdmi audio kernel bug?