# CONFIG_USB_DUMMY_HCD is not set