Re: [Trisquel-users] Difference between Linux-libre kernel and Debian (main) kernel?

[t8mf4nu6lizp]

You make it sound like that's by design. It's not. In fact it is a bug, a  
very low priority one. AFAIK