Reduced dep to Core_kernel

Avoids unnecessary dependencies, in particular wrt threads