Make deleteS in ScopedKernel garbage collect in underlying Kernel.