--- 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();