fix kernel source path