Re: [PATCH 4/4] Convert CONFIG_USB_EHCI_IS_TDI to Kconfig