O problema foi resolvido desativando a segurança de dock no BIOS (veja os comentários).
Recentemente eu atualizei para o Ubuntu 17.10, mas parece que ainda não há suporte para o Thunderbolt Dock. O dock forneceria conexão de rede RJ45, displayport, saída de áudio, conexões USB-A e VGA, mas nada disso está funcionando com o Ubuntu e não gosto de usar o Windows que veio com o x2. Existe alguma solução ou qualquer coisa que eu possa fazer para dar suporte a uma solução para essa configuração?
O problema foi resolvido desativando a segurança de dock no BIOS (veja os comentários).