# CONFIG_USB_MAX3421_HCD is not set