Fix path for kernel