Na instalação padrão do xfce, não há som nas configurações. O único lugar para alterar manualmente a saída dos alto-falantes internos é nas configurações do mixer de áudio de pulso. Abra o mixer de pulso, clique em configuração e altere o perfil para Digital Stereo (HDMI). Deve ser alterado manualmente de volta se você quiser usar os alto-falantes internos novamente.