obrigado pela sua resposta.
Sua sugestão está correta em relação às configurações da bios. Eu tive uma bios ruim Versão 01.10 (que foi oferecida temporariamente pela HP e removido) e atualizei para 01.11.
Em seguida, o áudio funcionou bem novamente e "cat / proc / asound / cards" fornece uma saída correta novamente.
Muito obrigado. Robin