Make KernelSpecManager configurable

Closes #6968