Я видел этот ответ на ваш вопрос https://askubuntu.com/a/120894. Порт Dell Mini HDMI не поддерживается. Это, кажется, какой-то внешний мостовой чип. **