Para obter som através do HDMI no linux, você precisa garantir que o driver que você está usando tenha suporte para ele. No meu caso, minha área de trabalho está executando uma placa AMD que, para que eu obtenha áudio, eu tive que mudar para o driver da AMD, em vez de o de código aberto. Você sabe qual placa de vídeo está no laptop? Se é INTEL, deve funcionar, se é AMD eu sugiro usar seu driver, mesmo com a NVIDIA.