kernel/configs/base-generic/CONFIG_USB_OHCI_HCD_PCI