Here is how you can do it from the terminal (not that you cannot do it from
the "Synaptic package manager"):
$ echo 'deb http://linux-libre.fsfla.org/pub/linux-libre/freesh/ freesh main'
| sudo tee -a /etc/apt/sources.list
$ wget https://jxself.org/gpg.inc
$ sudo apt-key add gpg.inc
$ sudo apt-get update
$ sudo apt-get install linux-libre64-3.4
Remember the GRUB password (a useless security measure that Trisquel
implement by default, unfortunately) at the end of /etc/grub.d/01_PASSWORD:
$ sudo cat /etc/grub.d/01_PASSWORD
Reboot. Press the Shift right after the computer turns on and choose in
GRUB's menu the "Advanced options" (or something like that). That will ask
for a username, "grub", and the password you have read in
/etc/grub.d/01_PASSWORD. You can then choose to boot the 3.4 kernel.
If it solves your problem, we will help you to boot the 3.4 kernel by
default.
