GNU Linux-Libre 7.2 Kernel Is Now Available for Software Freedom Lovers 9to5Linux