kernel/baseconfig/arm/CONFIG_USB_OHCI_HCD_PLATFORM