proper kerneldir!