Fix kernel source location