vkbuild.sh - Tool for building vkernels