Correct path to kernel