rename folder for kernel-mk