I have seen that the patches are already included in kernel 3.11.4.
Unfortunately it doesn't work even though by using kernel parameter
radeon.audio=1. Seems again that HDMI is not enabled.