Who is the manufacturer of the USB 3.0 port?

I’m trying to connect the Kinect to the Jetson TK1 and they require the port to only be manufactured Intel or Renesas. Does anyone know where I can find this information?

While i dont know the manufacturer, There are a few posts/tuts out there on setting the kinect up, so, id assume its one of those usb ports that work.