Hola BadWolf!
Gracias una vez más por tu trabajo y ayuda a la comunidad.
Quiero solicitar que revises el problema del audio con HDMI ya que hace unos días me compré uno!!! y no quiero prescindir de este maravilloso kernel por esa tontería, ni mucho menos (que le den al HDMI) pero bueno podrías echarle un vistazo a ver si se soluciona en futuras versiones...
Mil gracias señor!!