Reduced dep to Core_kernel

Avoids unnecessary dependencies, in particular wrt threads
Merge pull request #2 from pveber/core_kernel

Reduced dep to Core_kernel