Hot answers tagged hdmi
You can reset all the pulseaudio User Configuration rm - rf .config/pulse; pulseaudio -k This file is known to get corrupted, and you said you did an upgrade so this seem plausible.
Your HP620 has an old GM45 Graphic Chipset, this chipset work as an on demand process. Meaning once you plug it into the HDMI port you automatically see it, since Ubuntu works kinda the same way. The bios will also load on screen as well, making it a nice thing to have.
Only top voted, non community-wiki answers of a minimum length are eligible