HDMI больше не определяется

У меня был нормально работающий монитор Lenovo S27i-10, подключенный к порту HMDI моей системы Ubuntu Mate 20.04. Внезапно перестал определяться:

henk@henk-N24-25BU ~> xrandr | grep 'connected'                                                  
eDP-1 connected primary 1920x1080+0+0 (normal left inverted right x axis y axis) 344mm x 194mm
DP-1 disconnected (normal left inverted right x axis y axis)
HDMI-1 disconnected (normal left inverted right x axis y axis)
HDMI-2 disconnected (normal left inverted right x axis y axis)  

Монитор нормально работает на VGA. Монитор также отображается как отключенный на другом ноутбуке с Xubuntu. Монитор отлично работает на ноутбуке с Windows, используя тот же кабель HDMI.

Как снова подключить этот монитор к порту HMDI в Ubuntu? (другими словами, как я могу диагностировать проблему и решить ее).