I never tried. But probably you can do.
Here the link of Linux-libre 3.2.0-52:
http://us.archive.trisquel.info/trisquel/pool/main/l/linux/linux-image-3.2.0-52-generic_3.2.0-52.78+6.0trisquel1_amd64.deb
After in the Terminal: sudo dpkg -i *.deb
Or you can try reinstall Trisquel with this updated iso image (Trisquel
6.0.1):
http://devel.trisquel.info/makeiso/iso/trisquel_6.0.1_amd64.iso (700MB -
CD/flash drive)
http://devel.trisquel.info/makeiso/iso/trisquel_6.0.1_amd64.iso (1.2GB -
DVD/flash drive)
The kernel in this iso image support the firmware. Is the easy way. :-)