Ok, I did what you asked, twice actually, because when I checked the dmesg output after the first time, I did not see anything sound driver related output. Nothing on the second attempt either. Logs attached.