Comment # 9 on bug 67435 from Rafał Miłecki

@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.