Update generateAllKernFiles.py

Thanks for writing this! :)