Então, se em Áudio, Saída você clica na sua saída HDMI, você não pode testá-lo?
Tente dar uma olhada aqui
mesmo se o link for para uma versão diferente, o problema continua o mesmo. Dê uma olhada no primeiro dos comentários sobre a linha de comando para chamar o kernel.