Revisions for Compiling a GNU Linux-libre kernel