Seu dock provavelmente não é suportado no linux, a menos que seja uma verdadeira estação thunderbolt ou tenha seu próprio driver.
Por favor, atualize sua pergunta com a saída completa do lspci.
Thunderbolt 2 é o mesmo conector físico que o miniportport, em uma estação de thunderbolt verdadeira aporta de exibição é apenas outro soquete para a placa de exibição. Eu uso um OWC thunderbolt dock desta forma, é quase invisível para o computador como seu pci-e hotlpug basicamente.
Se o seu dock é feito por dell, é quase certo que ele usa um chipset displaylink. Ele precisará de um driver para funcionar corretamente, você pode obter um aqui. Vai ser lento e lento, estes são pouco utilizáveis no linux.
link
A menos que você precise do dock para as outras portas, eu conectaria o monitor diretamente no soquete thunderbolt, você pode precisar de um adaptador.