fix derp rename to kernel
fix derp rename to kernel