modified:   build_kernel.sh