rename kernel to core