Ok I need the git checkout to run make deb-pkg. @lxo is there a way to get the linux-libre sources over git?