Add some git helpers.
Add some scripts to easily build Linux kernels on Debian.