at91: add CONFIG_USB_OHCI_HCD_AT91 to usb-ohci