Fix typo.
Updates to build_kernel.sh to make it more flexible.