разбираться с докстанией. Вероятно она не передаёт сигнал
Ну в винде-то у него всё ведь нормально, поэтому только с драйверами засада в linux. Система не видит, что док станция своего рода монитором является. Не происходит обмена edid инфой между ноутом и станцией по интерфейсу USB-C. Присоединён-ли к доку монитор, дело десятое. Ноут сначала должен увидеть док, раз тот позволяет принять видео.
Не могу советовать что там нужно писать в терминале, но простейший вопрос... при присоединении дока у нас в опции Дисплей док видно (монитор подключенный по hdmi отключить временно)?