He says Displayport over USB C, he's undoubtedly talking about the USB-C dock data connection it would seem?
Yeah, I would assume so, but he says internal bus and refers to 3DS's 128Mb/s, which is quite confusing. I only brought it up as it occurred to me that the maths lined up (when I'd heard it first I had forgotten about the encoding overhead).