# Default configuration for x86_64-softmmu CONFIG_USB_OHCI=y