fix: kernel folder name