rename kernel config
rename kernel config