TX2 usb2.0 not working,how to fix it

Thanks for your help.
May I ask which file in the kernel is the name of the baseboard your officially provided carrier board?