Re: [PATCH 01/20] Convert CONFIG_USB_OHCI_NEW et al to Kconfig