Use a big-lock for kernel sychronization instead of fine-grained locking

kernel/device/usb/usb.h

@@ -88,7 +88,7 @@ struct usb_driver_info {
   uint8_t if_subclass;
   uint8_t if_proto;
   struct device* (*init)(struct xhci* xhci, struct xhci_usb_device* usb_device, struct proc* proc,
-                         struct reschedule_ctx* rctx, uint64_t* lockflags);
+                         struct reschedule_ctx* rctx);
 };
 
 extern struct usb_driver_info usb_driver_infos[USB_DRIVER_MAX_MATCHES];