Как заставить порт Thunderbolt работать на док-станции DELL с 16.04?

Я использую портативный компьютер DELL Precision 5510 с надписью "Ubuntu Edition". Как и большинство современных ноутбуков, у этой машины нет порта Ethernet для подключения к локальной сети, но есть порт Thunderbolt для различных сигналов.

DELL предлагает соответствующие док-станции для своих ноутбуков, которые подключаются через штекер Thunderbolt. К сожалению, Ubuntu 16.04 не работает с полной мощностью соединения Thunderbolt. На данный момент питание - единственный источник, который получает мой ноутбук. Ни подключение к Интернету через порт Ethernet, ни клавиатура или мышь, подключенные через USB, ни какие-либо аудиосигналы не принимаются в ноутбуке при подключении к док-станции.

Кроме того, если я подключу к компьютеру адаптер Ethernet-Thunderbolt-Adapter, подключение к локальной сети также не будет распознано. Так что, думаю, дело не в доке, а в Ubuntu для обработки передачи через интерфейс Thunderbolt.

Есть идеи, где начать работать?

Обновить

Сегодня я долго разговаривал со службой поддержки DELL. Выясняется, что нет ни BIOS, ни драйверов для Ubuntu Linux - несмотря на то, что в продаже есть версии Ubuntu.

В любом случае, хотя для пользователей Windows есть полный раздел загрузки, обновлений BIOS и драйверов для Linux не существует. Пользователи Windows могут настроить док-станцию ​​Thunderbolt Dock, следуя этому руководству.

Теперь мой вопрос более точен: можем ли мы когда-нибудь получить драйверы для Ubuntu, которые позволят использовать док-станцию ​​с ноутбуком DELL Ubuntu? Где я могу начать искать подходящих водителей?

Обновление 2

Спустя почти полгода я неожиданно получаю электронные письма от службы поддержки DELL с предложением бесплатно заменить док-станцию ​​TB15 на новую док-станцию ​​TB16. Было бы сообщено о нескольких проблемах подключения, и DELL, похоже, воспринимает это как причину для этой программы обмена оборудованием.