Re: [PATCH 02/22] usb: remove the dead USB_OHCI_SH option