renamed the def kernel config name