Your config mentions 4.4.128 so I first try with mainline Linux-libre:
wget
https://linux-libre.fsfla.org/pub/linux-libre/releases/4.4.128-gnu/linux-libre-4.4.128-gnu.tar.xz
tar xf linux-libre-4.4.128-gnu.tar.xz
cd linux-libre-4.4.128
wget http://termbin.com/ef1w
mv ef1w .config
make oldconfig
make -j4 bindeb-pkg
And it builds.
Then I try Trisquel's modified version of Linux-libre:
apt-get source linux-source-4.4.0
cd linux-4.4.0
wget http://termbin.com/ef1w
mv ef1w .config
make oldconfig
make -j4 bindeb-pkg
And that fails:
ERROR: "hci_register_dev" [ubuntu/rsi/ven_rsi_91x.ko] undefined!
ERROR: "hci_recv_frame" [ubuntu/rsi/ven_rsi_91x.ko] undefined!
ERROR: "hci_unregister_dev" [ubuntu/rsi/ven_rsi_91x.ko] undefined!
ERROR: "hci_alloc_dev" [ubuntu/rsi/ven_rsi_91x.ko] undefined!
ERROR: "hci_free_dev" [ubuntu/rsi/ven_rsi_91x.ko] undefined!
scripts/Makefile.modpost:91: recipe for target '__modpost' failed
make[3]: *** [__modpost] Error 1
Makefile:1153: recipe for target 'modules' failed
make[2]: *** [modules] Error 2
scripts/package/Makefile:96: recipe for target 'bindeb-pkg' failed
make[1]: *** [bindeb-pkg] Error 2
Makefile:1284: recipe for target 'bindeb-pkg' failed
make: *** [bindeb-pkg] Error 2
So it's specific to Trisquel. I recommend to file a bug over it. In the
meantime you can build mainline Linux-libre just fine, so there's your
workaround. Although you may want to upgrade to the current version in the
4.4 series which is 4.4.138. But it's up to you of course.
