CONFIG_USB_OHCI_HCD_PPC_OF (not configurable)
configname: CONFIG_USB_OHCI_HCD_PPC_OF
Linux Kernel Configuration
└─>Device Drivers
└─>USB support
└─>USB_OHCI_HCD_PPC_OF