Hello Elodie, thanks for your help!
I installed Trisquel from scratch after the Gluglug X60 arrived. Therefore I haven't those two links that Mr. Rowe set up. The last of your two options looks very nice and I will try this. I think that I will compile the linux-libre-3.2.57 kernel, because for this version a Grsecurity patch exist.