fix derp in kernel path