Fix error in build_kernel script.