Add build_kernel.sh, etc.