[Libreboot] linux-generic / linux-libre question

[Andy Wills]

Hi,

First post to this list, so apologies if this is a bit 'noob'. I
followed the instructions for full disk encryption here:

https://libreboot.org/docs/gnulinux/encrypted_trisquel.html

and it all worked fine on my Thinkpad X200, but now I worry a bit about
this instruction:

"Installation will ask what kernel you want to use. linux-generic is
fine".

I followed that instruction. In retrospect, I wonder whether there was
an option such as 'linux-libre' which would have been a better choice? 

Any help/advice gratefully received.

Best

Andy