Hotfix/rename k core to kernel

@dwightguth, let's make this in two steps. this is the k-core -> kernel rename