Ещё дополню про dkms

Если у вас deb пакет установился, то не нужны никакие исходники и make. Вы можете сразу сделать свой пакет под конкретное ядро (будет только на этом ядре работать).

sudo dkms mkbmdeb -m usb-vhci-hcd -v 1.15.0 [-k ядро]

Если -k не указывать, то берётся текущее ядро