Fix path to kernel source