This may have something to do with
https://github.com/genodelabs/genode/issues/332 which is still not
completely fixed, there is a race between the interrupt thread creation
in dde-kit and the driver. Can you try if the attached patch changes
anything?

Hi! Thanks for the reply, but unfortunately the patch did not

change anything. Usb still kind of works with debugging enabled

and does not with debugging disabled.