[Trisquel-users] Re : RV730 PRO [Radeon HD 4650] Woes

[lcerf]

Then take a look at  
https://www.gnu.org/software/grub/manual/grub.html#Simple-configuration learn  
how to boot on the 3.11 (or 3.10) kernel by default. The variable that are  
mentioned are in /etc/default/grub, which must be edited with administrative  
permission (here with GEdit):
$ gksu gedit /etc/default/grub
The easiest way to go may be to choose as the default kernel is the last one  
that was booted:
GRUB_DEFAULT="saved"
GRUB_SAVEDEFAULT="true"