Series of scripts (and maybe makefiles, etc) to make it easy to build kernels for the raspi