Trisquel GNU/Linux menggunakan Linux-libre sebagai kernel defaultnya