rename kernel config file