Не знаю точно, что именно помогло мне из того, что я делал, но делал я следующее:
1. Установка обновлений драйверов/биоса с сайта lenovo.com - потребуется установка утилиты диагностики LSB (Lenovo Service Bridge) и, возможно, запуск браузера в режиме администратора.
2. Запуск диагностики оборудования на этом сайте ("Аппаратная диагностика")
В итоге hdmi порт ожил.