https://bugs.freedesktop.org/show_bug.cgi?id=67435
--- Comment #9 from Rafał Miłecki zajec5@gmail.com --- @Kris: thank you for you debugging! I hope this is last debugging request.
Can you boot not working (bad) kernel, connect HDMI display and then type:
avivotool regset 0x0524 0x00249f00 avivotool regset 0x0528 0x00714be8 avivotool regset 0x0534 0x00000001
I hope this will resume audio on your card, but I just want to be sure, before asking Alex for getting more details on that.
If you could confirm that above 3 commands fix audio for you, it'd be great.