In case it helps anybody else...
CONFIG_THUNDERBOLT is no longer in the Linux kernel, it's called CONFIG_USB4 now. So if you update your kernel and suddenly your dock stops working, maybe this tweet will save you all the time I just spent troubleshooting that. :)