Change default kernel configuration name