# CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
