Então, eu acho que posso responder a mim mesmo ...
Eu tenho a fonte do kernel correta:
apt-get source linux-image-$(uname -r)
Peguei a pasta bluetooth em / drivers / bluetooth /, e adicionei a seguinte linha em btusb.c sob o / * Broadcom BCM20702A0 * / comentário como descrito aqui :
{ USB_DEVICE(0x413c, 0x8143) },
Em seguida, simplesmente seguiu o resto dos passos (a partir do sexto em diante) descritos aqui por Jeremy31.
E funcionou como um encanto;)