Ok, resolvi o problema ao longo do tempo eu mesmo. O problema foi que você precisa instalar o kernel 4.1 ou superior OU usar um patch para o kernel antigo (eu não tentei). Então você deve instalar o gcc-4.8 para executar o make.
ATUALIZAÇÃO 2018:
O Debian estável agora inclui o kernel 4.9, e o backports inclui o 4.16, que é relativamente recente, então o problema pode ser resolvido facilmente. O RTL8723BS foi fundido na linha principal em 4.12.