Re: [Trisquel-users] Pulseaudio increase Cpu temperature

[tomlukeywood]

yes you can change the default grub menu to have two boot options
http://libreboot.org/docs/gnulinux/grub_cbfs.html