As Magic Banana pointed out, the solution may be found here:
https://jxself.org/linux-libre/
Looking at that page, I noticed there is support for the 3.14 kernel series
(among others). But Trisquel 7 (at least the LiveCD) is on 3.13. I started
the software manager inside the live environment (running in VirtualBox), but
I am not able to find a different kernel version. I searched for "kernel" and
I searched for "linux".
OK, so the does the live environment not support adding additional kernels?
(Not that there would be much point for doing that of course!). Or do I have
to use a different search term? I would like to have everything covered in
advance, before I slap the LiveCD into the laptop again.
