update path for kernel