It shows 10Gb/x2 after plugging it in on a fresh cold boot. Then a soft reboot makes it work properly at 40Gb/x2 or whatever the speed is. Can't believe I wasted hours on this haha, but overall it's all good now!
Also on my end, USB-C is wonky if you don't "activate" the TB3 first, which is by...