thank you for your advices!
I do have the exact same audio chip and tried all of this here and much more.
For example I also tried: http://community.linuxmint.com/tutorial/view/1051
I use the alsa-daily ppa on my Linux Mint 15 64-bit machine.
It is a HP Folio 9470 Ultrabook with an Intel core i7 processor.Very, very annoying
is that everything worked perfectly before I updated my machine yesterday
But I can't get audio via my hdmi cable to work again
Even my build in microphone doesn't work anymore
I need a working soundsystem.
Especially the microphone.
Any further advice, ideas whatever?