revert linux replacement with linux-libre