Yes I can confirm no sound from the card.
Although I’m not getting an output from dmesg which is interesting. I run the command and it just completes with no output.
Edit: That’s wrong I do get output from the headphone jack port. ALSAMIXER shows hdmi as a default, then the soundcard.
I have an external usb soundcard as well, as the headphone jackport doesn’t drive my headset microphone. But I’ve unplugged it.