fix build_kernel.sh