Switch kernel source and fix kernel folder name