Update Docs/CompileKernel.sh