--- iodev/devices.cc~	2019-10-16 15:46:00.000000000 -0500

+++ iodev/devices.cc	2019-12-02 08:33:39.323859575 -0600

@@ -180,6 +180,7 @@

     PLUG_load_plugin(pci, PLUGTYPE_CORE);

     PLUG_load_plugin(pci2isa, PLUGTYPE_CORE);

 #if BX_SUPPORT_PCIUSB

+    PLUG_load_plugin(usb_common, PLUGTYPE_CORE);

     usb_enabled = is_usb_enabled();

     if (usb_enabled)

       bx_usbdev_ctl.init();