... more input: I tried a Fedora 42 live - and still, it cannot find any sound card. Problem is not something broken in my filesystem/package, but something broken in my laptop. Problem started at the time some firmware upgrade was done. How can I know which firmware was flashed?