xrandr verifica o status HDMI do hardware, se isso não mostrar um HDMI- , haverá um problema com o subsistema de vídeo. Talvez,
- o driver está corrompido ou mal configurado
- o próprio cartão falhou ao inicializar
- existe uma opção BIOS / UEFI para ativar o monitor duplo ou o HDMI