Make KernelSpecManager configurable

Closes #6968
Merge pull request #6969 from Carreau/ksmc

kernel_spec_manager configurable