Edit build_kernel.sh