Removed duplicating template instantiation in kernel/

(which is already in Singular/claptmpl.cc)