[Trisquel-users] Re : Initramfs problems ...

[lcerf]

So you are actually running the same kernel images in both distributions.   
Interesting.  But, yes, as soon as at least one of the distributions uses a  
package manager, it must become a mess.

About the driver, you should try the latest Linux-libre kernel:  
http://jxself.org/linux-libre/

However:
$ du -h /boot/*4.14.7*
212K    /boot/config-4.14.7-gnu
29M     /boot/initrd.img-4.14.7-gnu
3,8M    /boot/System.map-4.14.7-gnu
5,6M    /boot/vmlinuz-4.14.7-gnu