Investigações posteriores revelaram que, no kernel 4.4, o driver i915 tem uma regressão ... Ainda não foi corrigido, mas essa solução alternativa é boa:
/etc/default/grub
editar
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_osi=\"Linux\" video=HDMI-A-1:e"
(video = HDMI-A-1: e sendo a solução alternativa ...) E não se esqueça de
sudo update-grub2
Após a reinicialização, a porta HDMI fica visível para o sistema e o segundo monitor funciona.