depends on which problem you are referring to...
if you are referring to the hdmi-sound, then that problem was fixed by a kernel upgrade.
The other problem I had was with upgrading the kernel on the md. So far there is a wiki page which detailed the procedure, but I think that most of those steps aren't actually needed anymore. I will have to verify that and then change the wiki accordingly, I guess. The only things I needed to do was apt-get install for the the kernel and then only set proper permissions. The links were all correct...at least that was my observation.