kernel/baseconfig/arm/armv7/armv7/CONFIG_USB_OHCI_HCD_STI