Hey. there is already another bug about this topic: https://bugs.debian.org/838632
I already started to prepare a upload to fix this issue. Best regards, Jan > Hey. > > Is it really necessary that the userland tools binary package depends > on the kernel driver package? > > That seems to be rather uncommon among similar packages... > > Cheers, > Chris.