ukernel: add missing core.C due to "core.*" in .gitignore