Added a new script to be used for building the kernel index.