hotfix/rename k core to kernel

**please review** if ktest passes

@dwightguth, let's make this in two steps. this is the k-core -> kernel rename