Только что установил Ubuntu 11.10 на ThinkPad. В его базе есть выход DisplayPort, который я провожу через адаптер через вход HDMI моего 1080p TV/монитора.
решение1
Было бы интересно узнать, решила бы проблему также холодная загрузка в доке. И: если проблема возникнет снова, если холодная загрузка отстыковалась и подключилась, как вы пытались в первый раз. По моему опыту, переустановка ubuntu не решает проблемы с драйверами, только ошибки конфигурации...